By the same authors

Automatic Generation of Integrated Formal Models Corresponding to UML System Models

Research output: Contribution to conferencePaper

Author(s)

Department/unit(s)

Publication details

DatePublished - 2009
Original languageUndefined/Unknown

Abstract

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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations