| EPSRC Reference: |
GR/N04256/01 |
| Title: |
A CONSTRUCTIVE FRAMEWORK FOR PARTIAL SPECIFICATION |
| Principal Investigator: |
Boiten, Professor EA |
| Other Investigators: |
|
| 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: |
| Communications |
Creative Industries |
| Information Technologies |
No relevance to Underpinning Sectors |
|
| 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 |