Automatic Generation of Integrated Formal Models Corresponding to UML System Models

Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos

Research output: Contribution to conferencePaperpeer-review


This paper presents a complex model transformation that takes two related UML models as input (class diagrams and state machines) and outputs an integrated formal model. The transformation is achieved using the Epsilon model management framework and has involved the definition of new CSP and B metamodels. The target model is a CSPB specification (a fusion of CSP and B) that can be used to analyse the source UML. Through a comparative study we conclude that the code written using Epsilon is more concise than the equivalent model-to-text transformation achieved using the iUML toolset.
Original languageUndefined/Unknown
Publication statusPublished - 2009

Cite this