Supporting Software Design . Advanced Fellowship

Project Details

Key findings

In this project I investigated the way design is supported by the industry-standard graphical modelling formalism, the Unified Modeling Language (UML). I investigated various technical problems with the then-current version of the standard and proposed modifications, some of which were adopted in later versions of the language.
More ambitiously I worked on the use of formal games to capture the iterative nature of the process of designing software. With my PhD student Jennifer Tenzer (who is now a professional software engineer) I demonstrated that a UML design tool could be modified to allow a specification and a design to be changed in tandem, capturing growing understanding of each, and better fitting the real nature of software development than earlier formal refinement approaches. My subsequent work on bidirectionality, the problems of maintaining consistency between multiple information sources, such as multiple models in a model-driven development, builds on these ideas.
StatusFinished
Effective start/end date1/10/0031/08/06

Funding

  • EPSRC: £230,697.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.