Reasoning with Diagrams: Track RecordCollaborative Research Proposal • May 23rd, 2001
This is a collaborative proposal between the Universities of Brighton and Kent. The team is ideally positioned to carry out the proposed programme of research, offering a combination of skills in diagrammatic reasoning, visual modelling, logic and automated reasoning, and tools for diagram manipulation and visualisation. The principal investigators have worked together for six years and have collaborated on the EPSRC projects Formal Underpinnings of Object Technology (GR/K67304, 1995-1999) and Precise Visual Patterns for the Evolutionary Migration of Legacy Systems to Reusable Components (GR/M02606, 1998-2001). Formal Underpinnings investigated the conceptual basis of object-oriented modelling notations and initial steps were made towards the formal semantics for various aspects of UML. The project received an Alpha 4 grade. Precise Visual Patterns is an ongoing collaboration with EDP plc and applies visual modelling notations to the problem of legacy system migration.
