Automatic Generation of Integrated Formal Models Corresponding to UML System Models

TY - CONF

T1 - Automatic Generation of Integrated Formal Models Corresponding to UML System Models

AU - Treharne, Helen

AU - Turner, Edward

AU - Paige, Richard F.

AU - Kolovos, Dimitrios S.

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=68949149164&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-02571-6_21

DO - 10.1007/978-3-642-02571-6_21

M3 - Paper

SP - 357

EP - 367

ER -