Abstract
With the introduction of UML 2.0, many improvements to diagrams have been incorporated into the language. Some of the major changes were applied to sequence diagrams, which were enhanced with most of the concepts from ITU-T’s Message Sequence Charts, and more. In this paper, we introduce a formal semantics for most concepts of sequence diagrams by means of Petri nets as a formal model. Thus, we are able to express the partially ordered and concurrent behaviour of the diagrams natively within the model. Moreover, the use of coloured high-level Petri nets allows a comprehensive and efficient structure for data types and control elements. The proposed semantics is defined compositionally, based on basic Petri net composition operations.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Agha, G., de Cindio, F., Rozenberg, G.: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. LNCS, vol. 2001. Springer, Heidelberg (2001)
Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable petri net models. In: Balsamo, S., Inverardi, P., Selic, B. (eds.) Workshop on Software and Performance 2002, Rome, Italy, pp. 35–45. ACM Press, New York (2002)
Best, E., Fra̧czak, W., Hopkins, R.P., Klaudel, H., Pelz, E.: M-nets: an Algebra of High-level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica 35(10), 813–857 (1998)
Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1), 45–80 (2001)
Devillers, R., Klaudel, H., Koutny, M., Pommereau, F.: Asynchronous Box Calculus. Fundamenta Informaticae 54(1), 1–50 (2003)
Fleischhack, H., Grahlmann, B.: A Petri Net Semantics for B(PN)2 with Procedures. In: Agha, G., Russo, S. (eds.) Parallel and Distributed Software Engineering, pp. 15–27. IEEE Computer Society, Los Alamitos (1997)
Fleischhack, H., Grahlmann, B.: A Compositional Petri Net Semantics for SDL. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 144–164. Springer, Heidelberg (1998)
Fowler, M.: UML Distilled. The Addison-Wesley Object Technology Series. Addison-Wesley Longman, Reading (2004)
Gehrke, T., Huhn, M., Rensink, A., Wehrheim, H.: An Algebraic Semantics for Message Sequence Charts Documents. In: Budkowski, S., Cavalli, A.R., Najm, E. (eds.) Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE/PSTV 1998), pp. 3–18. Kluwer Academic Press, Dordrecht (1998)
Heymer, S.: A Semantics for MSC Based on Petri Net Components. In: SAM 200, Col de Porte, Grenoble, France, pp. 262–275, VERIMAG, IRISA, SDL Forum (2000)
ITU-T. Recommendation Z.120 (11/99): Message Sequence Charts ITU-T, Geneva (2000)
Jeckle, M., Rupp, C., Hahn, J., Zengler, B., Queins, S.: UML 2 glasklar. Hanser (2004)
Jensen, K.: Coloured Petri Nets — Basic Concepts, Analysis Methods and Practical Use. In: EATCS Monographs in Computer Science, vol. 1. Springer, Heidelberg (1992)
Katoen, J.-P., Lambert, L.: Pomsets for Message Sequence Charts. In: König, H., Langendörfer, P. (eds.) Formale Beschreibungstechniken für verteilte Systeme, Cottbus, June 1998, pp. 197–207. GI/ITG, Shaker Verlag (1998)
Kluge, O.: Modelling a railway crossing with message sequence charts and petri nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 197–218. Springer, Heidelberg (2003)
Lilius, J.: OB(PN)2: An object based petri net programming notation. In: Agha, et al. (eds.) [1], pp. 247–275.
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Object Management Group. UML 2.0 Superstructure Specification, 03-08-02 edition (August 2003)
Project P-UMLaut, http://www.p-umlaut.de
Priese, L., Wimmel, H.: Theoretische Informatik: Petri-Netze. Springer, Heidelberg (2002)
Reisig, W.: Petri nets – An introduction. Springer, Heidelberg (1985)
Reniers, M.A.: Message Sequence Charts. PhD thesis, Eindhoven University of Technology (1999)
Störrle, H.: Semantics of Interactions in UML 2.0. In: 2003 IEEE Symposium on Human Centric Computing Languages and Environments, Auckland, New Zealand, pp. 129–136. IEEE Computer Society, Los Alamitos (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Eichner, C., Fleischhack, H., Meyer, R., Schrimpf, U., Stehno, C. (2005). Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. In: Prinz, A., Reed, R., Reed, J. (eds) SDL 2005: Model Driven. SDL 2005. Lecture Notes in Computer Science, vol 3530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11506843_9
Download citation
DOI: https://doi.org/10.1007/11506843_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26612-9
Online ISBN: 978-3-540-31539-1
eBook Packages: Computer ScienceComputer Science (R0)