Skip to main content

Partial Behaviour Modelling: A Foundation for Incremental and Iterative Model-Based Software Engineering

Objective

Software systems are amenable to analysis through the construction of behaviour models. This corresponds to the traditional engineering approach to construction of complex systems. The advantage of using behaviour models to describe systems is that they are cheaper to develop than the actual system. Consequently, they can be analysed and mechanically checked for properties in order to detect design errors early in the development process and allow cheaper fixes. Although behaviour modelling and analysis has been shown to be successful in uncovering subtle requirements and design errors, adoption by practitioners has been slow. One of the reasons for this is that traditional approaches to behaviour models are required to be complete descriptions of the system behaviour up to some level of abstraction, i.e., the transition system is assumed to completely describe the system behaviour with respect to a fixed alphabet of actions. This completeness assumption is limiting in the context of software development process best practices which include iterative development, adoption of use-case and scenario-based techniques and viewpoint- or stakeholder-based analysis; practices which require modelling and analysis in the presence of partial information about system behaviour. This aim of this project is to shift the focus from traditional behaviour models to partial behaviour models – operational descriptions that are capable of distinguishing known behaviour (both required and proscribed) from unknown behaviour that is yet to be elicited. Our overall aim is to develop the foundations, techniques and tools that will enable the automated construction of partial behaviour models from multiple sources of partial specifications, the provision of early feedback through automated partial behaviour model analysis, and the support incremental, iterative elaboration of behaviour models.

Field of science

  • /natural sciences/computer and information sciences/software/software development
  • /natural sciences/computer and information sciences/software/system software
  • /natural sciences/computer and information sciences/software

Call for proposal

ERC-2007-StG
See other projects for this call

Funding Scheme

ERC-SG - ERC Starting Grant

Host institution

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
Address
South Kensington Campus Exhibition Road
SW7 2AZ London
United Kingdom
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 1 366 450
Principal investigator
Sebastian Uchitel (Prof.)
Administrative Contact
Shaun Power (Mr.)

Beneficiaries (1)

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom
EU contribution
€ 1 366 450
Address
South Kensington Campus Exhibition Road
SW7 2AZ London
Activity type
Higher or Secondary Education Establishments
Principal investigator
Sebastian Uchitel (Prof.)
Administrative Contact
Shaun Power (Mr.)