EPSRC logo

Details of Grant 

EPSRC Reference: GR/R02238/01
Title: The Mechanical Extraction of Performance Models From Uml Specifications (Emu)
Principal Investigator: Field, Dr AJ
Other Investigators:
Harrison, Professor PG
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