Article

Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

Authors:

Joao M. Fernandes,

Jens Baek Jorgensen,

Oscar RibeiroAuthors Info & Claims

SCESM '07: Proceedings of the Sixth International Workshop on Scenarios and State Machines

Page 2

https://doi.org/10.1109/SCESM.2007.1

Published: 20 May 2007 Publication History

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.

References

[1]

{1} L. Amorim, P. Maciel, M. Nogueira, R. Barreto, and E. Tavares. Mapping Live Sequence Chart to Coloured Petri Nets for Analysis and Verification of Embedded Systems. SIGSOFT Software Engineerign Notes, 31(3):1-25, 2006.

Digital Library

[2]

{2} L. Baresi and M. Pezzè. On Formalizing UML with High-Level Petri Nets. In Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets, volume 2001 of Lecture Notes in Computer Science, pages 276-304. Springer, 2001.

Digital Library

[3]

{3} S. Bernardi, S. Donatelli, and J. Merseguer. From UML Sequence Diagrams and Statecharts to Analysable Petri Net Models. In 3rd Int. Workshop on Software and Performance (WOSP 2002), pages 35-45. ACM Press, 2002.

Digital Library

[4]

{4} R. M. Blanco. Requirements Specification for an Elevator Controller. Technical report, School of Computer Science, University of Waterloo, Canada, 2005.

[5]

{5} E. Burd, D. Overy, and A. Wheetman. Evaluating Using Animation to Improve Understanding of Sequence Diagrams. In 10th Int. Workshop on Program Comprehension (IWPC 2002), pages 107-13. IEEE CS Press, 2002.

Digital Library

[6]

{6} J. Campos and J. Merseguer. On the Integration of UML and Petri Nets in Software Development. In 27th Int. Conf. on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2006), volume 4024 of Lecture Notes in Computer Science, pages 19-36. Springer, 2006.

Digital Library

[7]

{7} W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19:45- 80, 2001.

Digital Library

[8]

{8} N. Dulac, T. Viguier, N. Leveson, and M.-A. Storey. On the Use of Visualization in Formal Requirements Specification. In IEEE Joint Int. Conf. on Requirements Engineering (RE 2002), pages 71-80. IEEE CS Press, 2002.

Digital Library

[9]

{9} C. Eichner, H. Fleischhack, R. Meyer, U. Schrimpf, and C. Stehno. Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. In SDL 2005: Model Driven Systems Design, volume 3530 of Lecture Notes in Computer Science, pages 133-48. Springer, 2005.

Digital Library

[10]

{10} D. Harel and R. Marelly. Come, Let's Play: Scenario-based Programming Using LSCs and the Play-Engine. Springer, 2003.

Digital Library

[11]

{11} Z. Hu and S. M. Shatz. Mapping UML Diagrams to a Petri Net Notation for System Simulation. In 16th Int. Conf. on Software Engineering & Knowledge Engineering (SEKE 2004), pages 213-9, 2004.

[12]

{12} K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Volume 1-3. Monographs in Theoretical Computer Science. EATCS Series. Springer, 1992-97.

Digital Library

[13]

{13} J. B. Jørgensen and C. Bossen. Executable Use Cases as Links Between Application Domain Requirements and Machine Specifications. In 3rd Int. Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM 2004), pages 8-13. IEE, 2004.

[14]

{14} J. B. Jørgensen, S. Christensen, A.-P. Tuovinen, and J. Xu. Tool Support for Estimating the Memory Usage of Mobile Phone Software. Software Tools for Technology Transfer, 8(6):531-45, 2006.

Digital Library

[15]

{15} O. Kluge, J. Padberg, and H. Ehrig. Modeling Train Control systems: From Message Sequence Charts to Petri Nets. In Formale Techniken für die Eisenbahnsicherung (FORMS 2000), pages 25-42. Fortschritt-Berichte VDI, 2000.

[16]

{16} L. M. Kristensen, S. Christensen, and K. Jensen. The Practitioner's Guide to Coloured Petri Nets. Software Tools for Technology Transfer, 2(2):98-132, 1998.

[17]

{17} C. A. Lakos. From Coloured Petri Nets to Object Petri Nets. In 16th Int. Conference on the Application and Theory of Petri Nets (ICATPN 1995), volume 935 of Lecture Notes in Computer Science, pages 278-97. Springer, 1995.

Digital Library

[18]

{18} H. Liang, J. Dingel, and Z. Diskin. A Comparative Survey of Scenario-based to State-based Model Synthesis Approaches. In Int. Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM 2006), pages 5-12. ACM Press, 2006.

Digital Library

[19]

{19} J. P. López-Grao, J. Merseguer, and J. Campos. From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. In 4th Int. Workshop on Software and Performance (WOSP 2004), pages 25-36. ACM Press, 2004.

Digital Library

[20]

{20} J. Merseguer and J. Campos. Exploring Roles for the UML Diagrams in Software Performance Engineering. In 3rd Int. Conf. on Software Engineering Research and Practice (SERP 2003), pages 43-7. CSREA Press, 2003.

[21]

{21} J. Merseguer, J. Campos, S. Bernardi, and S. Donatelli. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. In 6th Int. Workshop on Discrete Event Systems (WODES 2002), pages 295-302. IEEE CS Press, 2002.

Digital Library

[22]

{22} R. G. Pettit and H. Gomaa. Modeling Behavioral Design Patterns of Concurrent Objects. In 28th Int. Conf. on Software Engineering (ICSE 2006), pages 202-11. ACM Press, 2006.

Digital Library

[23]

{23} O. R. Ribeiro and J. M. Fernandes. Some Rules to Transform Sequence Diagrams into Coloured Petri Nets. In 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2006), pages 237-56, 2006.

[24]

{24} J. Saldhana and S. M. Shatz. UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis. In Int. Conf. on Software Engineering & Knowledge Engineering (SEKE 2000), pages 103-10, 2000.

[25]

{25} M. Sgroi, A. Kondratyev, Y. Watanabe, L. Lavagno, and A. Sangiovanni-Vincentelli. Synthesis of Petri Nets from Message Sequence Charts Specifications for Protocol Design. In Design, Analysis, and Simulation of Distributed Systems (DASD 2004), pages 193-9, 2004.

[26]

{26} M. K. Zimmerman, K. Lundqvist, and N. Leveson. Investigating the Readability of State-Based Formal Requirements Specification Languages. In 24th Int. Conf. on Software Engineering (ICSE 2004), pages 33-43. ACM Press, 2002.

Digital Library

Cited By

(2019)A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformationsInternational Journal of Computational Vision and Robotics10.5555/3337606.33376109:2(172-191)Online publication date: 1-Jan-2019
https://dl.acm.org/doi/10.5555/3337606.3337610
Gómez ARodríguez RCambronero MValero V(2019)Profiling the publish/subscribe paradigm for automated analysis using colored Petri netsSoftware and Systems Modeling (SoSyM)10.1007/s10270-019-00716-118:5(2973-3003)Online publication date: 1-Oct-2019
https://dl.acm.org/doi/10.1007/s10270-019-00716-1
Bennama MBouabana-Tebibel T(2017)A CTL-based OCL extension using CPN ML for UML validationInternational Journal of Critical Computer-Based Systems10.1504/IJCCBS.2016.0818076:4(302-321)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1504/IJCCBS.2016.081807
Show More Cited By

Index Terms

Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net
1. Software and its engineering

Recommendations

Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net
ICSEW '07: Proceedings of the 29th International Conference on Software Engineering Workshops

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 ...
Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
MODELSWARD 2018: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development

UML Sequence Diagrams are used in different domains for specifying the required behaviour of software-based

systems. However, the created diagrams are often used only as documentation, and not as a basis for

generating subsequent lifecycle artifacts or ...
Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets
ECBS '08: Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems

This paper describes how UML 2 Activity diagrams can be intuitively translated into Petri net notations. The UML2 specification states that activities are based on Petri net semantics. The transformation of UML 2 Activity diagrams into Petri net ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SCESM '07: Proceedings of the Sixth International Workshop on Scenarios and State Machines

May 2007

32 pages

ISBN:0769529585

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

IEEE Computer Society

United States

Publication History

Published: 20 May 2007

Check for updates

Qualifiers

Article

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
626
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

(2019)A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformationsInternational Journal of Computational Vision and Robotics10.5555/3337606.33376109:2(172-191)Online publication date: 1-Jan-2019
https://dl.acm.org/doi/10.5555/3337606.3337610
Gómez ARodríguez RCambronero MValero V(2019)Profiling the publish/subscribe paradigm for automated analysis using colored Petri netsSoftware and Systems Modeling (SoSyM)10.1007/s10270-019-00716-118:5(2973-3003)Online publication date: 1-Oct-2019
https://dl.acm.org/doi/10.1007/s10270-019-00716-1
Bennama MBouabana-Tebibel T(2017)A CTL-based OCL extension using CPN ML for UML validationInternational Journal of Critical Computer-Based Systems10.1504/IJCCBS.2016.0818076:4(302-321)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1504/IJCCBS.2016.081807
Yang HChen FAliyu S(2017)Modern software cyberneticsJournal of Systems and Software10.1016/j.jss.2016.08.095124:C(169-186)Online publication date: 1-Feb-2017
https://dl.acm.org/doi/10.1016/j.jss.2016.08.095
Faria JPaiva A(2016)A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri netsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-014-0354-x18:3(285-304)Online publication date: 1-Jun-2016
https://dl.acm.org/doi/10.1007/s10009-014-0354-x
Kallehbasti MBertolino ACanfora GElbaum S(2015)Scalable formal verification of UML modelsProceedings of the 37th International Conference on Software Engineering - Volume 210.5555/2819009.2819195(847-850)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2819009.2819195
Baresi LPourhashem Kallehbasti MRossi MGnesi SPlat N(2014)Flexible modular formalization of UML sequence diagramsProceedings of the 2nd FME Workshop on Formal Methods in Software Engineering10.1145/2593489.2593492(10-16)Online publication date: 3-Jun-2014
https://dl.acm.org/doi/10.1145/2593489.2593492
Lu LKim D(2014)Required behavior of sequence diagramsACM Transactions on Software Engineering and Methodology10.1145/252310823:2(1-28)Online publication date: 4-Apr-2014
https://dl.acm.org/doi/10.1145/2523108
El-Attar M(2014)From misuse cases to mal-activity diagramsSoftware and Systems Modeling (SoSyM)10.1007/s10270-012-0240-513:1(173-190)Online publication date: 1-Feb-2014
https://dl.acm.org/doi/10.1007/s10270-012-0240-5
Bennama MBouabana-Tebibel T(2013)Validation environment of UML2 IOD based on hierarchical coloured Petri netsInternational Journal of Computer Applications in Technology10.1504/IJCAT.2013.05437247:2/3(227-240)Online publication date: 1-Jun-2013
https://dl.acm.org/doi/10.1504/IJCAT.2013.054372
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents