| EPSRC Reference: |
GR/N04089/01 |
| Title: |
ENGINEERING MODULARISED PROGRAMS AND SPECIFICATIONS |
| Principal Investigator: |
Maibaum, Professor T |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Kings College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 January 2000 |
Ends: |
31 December 2000 |
Value (£): |
28,650
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Goguen proposed the use of categorical techniques for unifying a variety of notions of system behaviour and their composition techniques. His approach has been summarised in a very simple but far reaching priciple : given a category of widgets the operation of putting a system of widgets together to form a super-widget corresponds to taking a colimit of the diagram of wigets that shows how to interconnect them. The same principles have been applied to the algebraic specification of reach systems by using typical logics for concurrent system specification, such as temporal logic. In the approach that we have been developing over a number of years the specification of a system of interconnected components is given as a diagram showing how the specifications of the individual components are interconnected , the colimit of this diagram providing a specification their joint behaviour. This paradgm has been strengthened by our recent work on the application of the categorical priciples to parallel program design in the style of Unity and Interacting Processes. The resulting language CommUnity has shown that the development o fmodularisation principles based on the notion of superposition ((Katz 93) has a direct formulation in categorical terms. Typical constructions in parellel program design can be captured by the universal constructions that are used for composing specifications and interconnecting models of behaviour. The application of this framework to Software Architectures, mobility and real-time systems is the best evidence that the ingredients for a Science of Software Engineering. Our intention is to develop a conceptual framework for practising engineers based on the output of our research described above, and make it accessible through a book.
|
|
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: |
|