1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 Dep. Informática / CCTC, Universidade do Minho, Braga, Portugal
On a case study on the specification of an elevator controller, this paper presents an approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model. The UML descriptions must be specified in the form of Use Cases (UCs) and UML 2.0 Sequence Diagrams (SDs). The CPN model constitutes one single, coherent and executable representation of all possible behaviours that are specified by the given UML artefacts. CPN is a formal modelling language that enables construction and analysis of scalable, executable models of behaviour. A combined use of UML and CPN can be useful in several projects. CPN is well supported by the tool called CPN Tools and the work we present here is aimed at building a CPN Tools front-end engine that implements the proposed translation.
Proceedings of the Sixth International Workshop on Scenarios and State Machines (scesm 2007): Icse Workshops 2007 (companion Volume), 2007
Main Research Area:
Intl. Workshop on Scenarios and State Machines (SCESM at ICSE 2007).