Abstract
This paper deals with the formalization of Unified Modeling language (UML) by means of Petri Nets. In order to improve the semantics of UML dynamic diagrams, we define a new method of embedding UML StateCharts into Interval Timed Petri Nets (ITPN). This method considers all kinds of hierarchical states together with the most of pseudo-states like history ones. Besides consistencies analysis, time intervals of ITPN model well event generation and dispatching delays making it possible to achieve performance and time properties analysis of complex systems.
Chapter PDF
Similar content being viewed by others
Keywords
- Unify Modeling Language
- Formal Semantic
- Composite State
- Unify Modeling Language Model
- Unify Modeling Language Diagram
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
van der Aalst, W.M.P.: Interval Timed Petri Nets and their analysis. Computing Science Notes 91/09, Eindhoven University of Technology (May 1991)
Baresi, L.: Some Preliminary Hints on Formalizing UML with Object Petri Nets. In: Integrated Design and Process Technology IDPT- 2002 (June 2002)
Bianco, V.D., Lavazza, L., Mauri, M.: A Formalization of UML Statecharts for real-time software modeling. In: Integrated Design and Process Technology IDPT-2002 (2002)
Baresi, L., Pezzè, M.: Improving UML with Petri Nets. Electronic Notes in Theoretical Computer Science, vol. 44(4) (2001)
Clark, R.G., Moreira, A.D.: Use of E-LOTOS in adding Formality to UML. Journal of Universal Computer Science 6(3), 1071–1087 (2000)
Evans, A., Bruel, J.-M., France, R., Lano, K.: Making UML Precise. In: Proc. of the OOPSLA 1998 Workshop on Formalizing UML (1998)
Engels, G., Huasmann, J.H., Heckel, R., Sauer, S.: Testing the Consistency of Dynamic UML Diagrams. In: Integrated Design and Process Technology IDPT-2002 (2002)
France, R., Evans, A., Lano, K., Rumpe, B.: The UML as a formal Notation. In: UML 1998 – Beyond Notation First International Workshop, Mulhouse, France (June 1998)
Gogolla, M., Presicce, F.P.: State diagrams in UML: A formal semantics using graph transformations. In: Proc. of PSMT 1998 workshop precise semantics for modeling techniques (1998)
Huszerl, G., Majzik, I., Pataricza, A., Kosmidis, K., Dal Cin, M.: Quantitative Analysis of UML Statechart Models of Dependable Systems. The Computer Journal 45(3) (2002)
King, P., Pooley, R.: Derivation of petri net performance models from UML specifications of communications software. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 262–276. Springer, Heidelberg (2000)
Merseguer, J., Campos, J., Mena, E.: A pattern approach to model software performance using UML and Petri Nets: Application to Agent-based Systems. In: Workshop on software and performance, Ottawa (September 2000)
Object Management Group, Inc. OMG Unified Modeling Language Specification, Version 1.5, Formal/03-03-01 (March 2003)
Object Management Group, Inc. UML Profile for Schedulability, Performance, and Time Specification, Version 1.0, Formal/03-09-01 (September 2003)
Roubtsova, E.E., van Katwijk, J., Toetenel, W.J., Ponk, C., de Rooij, R.C.M.: Specification of Real-Time Systems in UML. Electronic Notes in Theoretical Computer Science 39(3) (2000)
Simons, A.J.H.: On the Compositional Properties of UML Statechart Diagrams. Rigorous Object-Oriented Methods, 2000
Verschaeve, K., Ek, A.: Three scenarios for combining UML and SDL 1996. In: Eighth SDL Forum, Montréal, Canada (1999)
Wieringa, R.: Formalizing the UML in a Systems Engineering Approach. In: Proc. of second ECOOP workshop on precise behavioral semantics (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Hammal, Y. (2005). A Formal Semantics of UML StateCharts by Means of Timed Petri Nets. In: Wang, F. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2005. FORTE 2005. Lecture Notes in Computer Science, vol 3731. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562436_5
Download citation
DOI: https://doi.org/10.1007/11562436_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29189-3
Online ISBN: 978-3-540-32084-5
eBook Packages: Computer ScienceComputer Science (R0)