Metamodel-based model conformance and multi-view consistency checking (2007)
Paige, R.F., Brooke, P.J., Ostroff, J.S.
Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different...
A CSP Model of Eiffel's SCOOP (2007)
Brooke, P.J., Paige, R.F., Jacob, J.L.
The current informal semantics of the simple concurrent object-oriented programming (SCOOP) mechanism for Eiffel is described. We construct and discuss a model using the process algebra CSP. This...
Merging Models with the Epsilon Merging Language (2006)
Kolovos, D.S., Paige, R.F., Polack, F.A.C.
In the context of Model Engineering, work has focused on operations such as model validation and model transformation. By contrast, other model management operations of significant importance remain...
A canonical scheme for model composition (2006)
Bézivin, J., Bouzitouna, S., Jouault, F., Kolovos, D., ...
There is little agreement on terminology in model composition, and even less on key characteristics of a model composition solution. We present three composition frameworks: the Atlas Model Weaver,...
Modelling knowledge based systems using the executable modelling framework (XMF) (2004)
Abdullah, M.S., Evans, A., Benest, I., Paige, R.F., Kimble, C.
There is no standardised approach to modelling knowledge-based systems; where modelling is adopted, the techniques used are those from the software engineering domain. These tend to be used in an ad...
ERC: an Object-Oriented Refinement Calculus for Eiffel (2004)
We present a refinement calculus for transforming object-oriented (OO) specifications (or lsquocontractsrsquo) of classes into executable Eiffel programs. The calculus includes the usual collection...