Details of Grant 

EPSRC Reference:	GR/S03270/01
Title:	READS: Requirement Elicitation and Analysis for Distributed Systems
Principal Investigator:	Kramer, Professor J
Other Investigators:	Magee, Professor J Uchitel, Dr S
Researcher Co-Investigators:	Dr S Uchitel
Project Partners:
Department:	Computing
Organisation:	Imperial College London
Scheme:	Standard Research (Pre-FEC)
Starts:	01 May 2003	Ends:	31 January 2007	Value (£):	193,215
EPSRC Research Topic Classifications:	Networks & Distributed Systems Software Engineering
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:	Panel Date Panel Name Outcome 06 Aug 2002 Systems Level People and Interactivity Panel Deferred
Summary on Grant Application Form
Understanding the requirements and developing adequate designs for distributed systems are complex error-prone tasks. Scenario-based specifications are popular as part of requirement specifications. They improve communication with stakeholders, promote involvement and help building a common ground with developers; factors that are essential in order to obtain high quality requirement definitions. On the other hand, behaviour analysis has proved to be an effective tool for understanding and increasing confidence in the design of distributed systems.Structuring system as autonomous, concurrent entities is a common perspective of both scenario-based specifications and behaviour models. In addition there is an interesting balance between the two areas in terms of potentials and shortcomings. Scenario specifications are still maturing respect to rigorous semantics and analysis tools, however they have a wide acceptance in industry. Behaviour models have not had such a widespread impact on practitioners, nevertheless boast an important mathematical foundation and efficient tools for analysis. This project aims to develop techniques and tools that leverage from both areas facilitating the development of behaviour models using scenarios and the use of analysis results from behaviour models to help correct, elaborate and refine scenario-based specifications.
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