Aims
-
To produce semantic underpinnings for object-oriented models at all levels
of the development process.
-
To refine and unify (the abstract syntax of) modelling notations.
Method
-
Investigate the latest object-oriented modelling notations and methods,
including Fusion, Syntropy, Catalysis and UML.
-
Attempt to rigorously define the semantics of these methods.
-
Develop calculi for making the semantics do something useful, e.g. to help
build semantic checking and model animation tools.
-
Refine and unify notations (the project started before the UML effort,
and, given the emphasis on semantics may come up with different answers!).
Timetable
The project is in its second of three years total. |
Posters
These are currently being updated. |
Overview
& Posters 