| EPSRC Reference: |
GR/R16891/01 |
| Title: |
Logic For Uml |
| Principal Investigator: |
Bradfield, Dr J |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Informatics |
| Organisation: |
University of Edinburgh |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 April 2001 |
Ends: |
30 September 2004 |
Value (£): |
209,086
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
UML is the standard language used to model systems. It includes a semi-formal.constraint language', OCL, which, among other things, allows designers to specify 'contracts' that components of a system must satisfy: this allows 'design by contract', a widely adopted approach to achieve effective re-use and independent development at the same time as dependability of the systems.OCL is a limited language, and many natural contracts cannot be written in it. Our aim is to extend the contract language in several ways: by allowing temporal properties; by allowing some concurrency; and by allowing explicit statements about the independence of design decisions. The programme combines our work on concurrency, logic, object-oriented systems and design, and will result in richer contract languages that can be formally supported by design tools. We will produce prototype tools to demonstrate this, and to promote the acceptance of the languages. We will investigate the feasibility of providing a visual syntax for our extensions. We will throughout maintain close contact with the UML development and user communities, such as the Object Management Group.
|
|
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.ed.ac.uk |