Welcome

Welcome to the Reasoning with Diagrams project site. This was a 3-year research project funded by the UK Engineering and Physical Sciences Research Council. The project is collaboration between the Visual Modelling Group at the University of Brighton and the Computing Laboratory, University of Kent. The problem addressed by the research is "how to reason with a combination of diagrammatic and textual constraint notations, in the context of modelling software intensive systems". You may wish to look at the original project proposal. The project has investigated reasoning systems and tools for various visual constraint notations based on Venn and Euler diagrams.

The project has now finished and the EPSRC final grading of the work performed was the maximum achievable. The overall grading of the grant was "Outstanding" and all sub-categories received the best possible grades of "Internationally Leading" or "Outstanding". The final report is available.

	Documents

Access papers, reports and presentations related to this project. New documents are announced here as they become available. Continue to the documents area.

	Tools

Specific tools to support reasoning with diagrams and developed by the project are available for download. There are also links to related tools. Continue to the tools area.