| EPSRC Reference: |
GR/R02238/01 |
| Title: |
The Mechanical Extraction of Performance Models From Uml Specifications (Emu) |
| Principal Investigator: |
Field, Dr AJ |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 June 2001 |
Ends: |
31 May 2004 |
Value (£): |
189,533
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Networks & Distributed Systems |
|
| EPSRC Industrial Sector Classifications: |
| Communications |
Information Technologies |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
In the development of modern distributed computer and communication systems it is often important to establish that a new design performs both correctly and to a specified level of performance. We propose to use the Unified Modelling Language, UML, as a high-level specification language and to translate this into a Stochastic Process Algebra language called SPADES. Process Algebras (PAs) already provide a powerful approach to the qualitative analysis of such systems and there exists an established set of analysis techniques and corresponding tools. The proposed work will provide a complementary suite of quantitative tools for Stochastic Process Algebras (SPAs), especially the automatic extraction of both analytical and simulation models from the SPA specification. The correctness of the described system can be established by transforming out its stochastic components and using classical PA analysis techniques. This route of mapping through SPADES will facilitate both qualitative and quantitative analysis from a single UML specification, saving development costs, ensuring consistency and increasing the acceptance of these analyses by software engineers.
|
|
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.imperial.ac.uk |