Title :
Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net
Author :
Fernandes, João M. ; Tjell, Simon ; Jørgensen, Jens Bæk ; Ribeiro, Óscar
Author_Institution :
Univ. do Minho, Braga
Abstract :
Using 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 and UML 2.0 Sequence Diagrams. The CPN model constitutes one single, coherent and executable representation of all possible behaviours that are specified by the given UML artefacts. CPNs consitute 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 CPN Tools and the work we present here is aimed at building a CPN Tools front-end engine that implements the proposed translation.
Keywords :
Petri nets; Unified Modeling Language; formal languages; UML 2.0 sequence diagrams; coloured Petri net; formal modelling language; front-end engine; tool support; use cases; Buildings; Computer science; Concurrent computing; Elevators; Engines; Feedback; Floors; Optimized production technology; Software standards; Unified modeling language;
Conference_Titel :
Scenarios and State Machines, 2007. SCESM '07: ICSE Workshops 2007. Sixth International Workshop on
Conference_Location :
Minneapolis, MN
Print_ISBN :
0-7695-2958-5
DOI :
10.1109/SCESM.2007.1
