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

fYear

2007

fDate

20-26 May 2007

Firstpage

2

Lastpage

2

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SCESM.2007.1

Filename

4273282