Loading...
Please wait, while we are loading the content...
Similar Documents
Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net
| Content Provider | ACM Digital Library |
|---|---|
| Author | Jorgensen, Jens Baek Fernandes, Joao M. Tjell, Simon Ribeiro, Oscar |
| 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. |
| File Format | |
| ISBN | 0769529585 |
| DOI | 10.1109/SCESM.2007.1 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2007-05-20 |
| Access Restriction | Subscribed |
| Content Type | Text |
| Resource Type | Article |
