Details of Grant 

EPSRC Reference:	GR/R63509/01
Title:	Reasoning with Diagrams
Principal Investigator:	Rodgers, Professor PJ
Other Investigators:	Thompson, Professor S
Researcher Co-Investigators:
Project Partners:
Department:	Sch of Computing
Organisation:	University of Kent
Scheme:	Standard Research (Pre-FEC)
Starts:	01 July 2002	Ends:	30 June 2005	Value (£):	188,580
EPSRC Research Topic Classifications:	Fundamentals of Computing Software Engineering
EPSRC Industrial Sector Classifications:	Information Technologies
Related Grants:
Panel History:
Summary on Grant Application Form
The problem that the proposed research addresses is how to reason with a combination of diagrammatic and textual constraint notations, in the co of modelling software intensive systems. Declarative, constraint-based languages are becoming increasingly important, as organizations struggle t~ define high level models capturing policy constraints and business rules. Furthermore, the preferred approach in industry to defining modelling languages is to use a meta-modelling approach, in which constraint languages are used to express well-formedness conditions.Experience suggests that practitioners find constraints hard to read, write and analyse, and this can lead to incompleteness and inconsistency of models: more attention needs to be paid to notation and the development of useable analysis tools. One aspect of making a tool useable is to ens~ that all analysis and feedback is conducted through the notations being used by the modeller.The programme builds on our experience in diagrammatic reasoning and software modelling to develop a theoretical framework and prototype a fa of tools based on this theory. We will be careful to work with notations that integrate with those that are already being used in industry. We will use close contacts with industry to provide case studies and feedback on the work as it progresses, and to ensure rapid dissemination of the results.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website:	http://www.kent.ac.uk