EPSRC logo

Details of Grant 

EPSRC Reference: GR/N04256/01
Title: A CONSTRUCTIVE FRAMEWORK FOR PARTIAL SPECIFICATION
Principal Investigator: Boiten, Professor EA
Other Investigators:
Derrick, Professor J
Researcher Co-Investigators:
Project Partners:
Department: Sch of Computing
Organisation: University of Kent
Scheme: Standard Research (Pre-FEC)
Starts: 25 September 2000 Ends: 24 September 2003 Value (£): 63,604
EPSRC Research Topic Classifications:
Fundamentals of Computing Software Engineering
EPSRC Industrial Sector Classifications:
Creative Industries Information Technologies
No relevance to Underpinning Sectors Communications
Related Grants:
Panel History:  
Summary on Grant Application Form
For the development of large computer-based systems, decomposition of systems and their designs is crucial. Often, rather than a decomposition by functional units, a decomposition by aspects or viewpoints is proposed. Such a separation by viewpoints may be along traditional dividing lines, eg vs non-functional requirements, safety vs. liveness: but it may also provide descriptions of the systems behaviour from the perspective of different actors in the system. When a system is developed in such a way, composition of partial specifications needs to be possible, both for construction of the eventual implementation, and for consistency checking between intermediate developments of the view points.Previous research has shown that it is possible to define composition relations and consistency relations for and between specific languages. We will embed these incidental techniques into a more general framework which supports composition of specifications in (combinations of) arbitrary well-defined specification languages. This framework will be based on those arising in more fundamental areas of computing: category theory and lattice theory. The emphasis in this project will be on constructivity and compositionality of the operations: their results should have concrete syntactic representations, usable for further analysis and development.
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