Abstract
The modeling language UML-RT, a dialect of the UML, supports the development of complex, hierarchical systems following a component-oriented approach. However, for a solid foundation of model analysis and model transformations a formal semantics definition of UML-RT is missing. Therefore, this paper presents a precise syntax and semantics definition of a sublanguage of UML-RT. This sublanguage puts an emphasis on the specification of complex, hierarchical state-based models. It considers atomic capsules – containing a statechart – and complex capsules that recursively consist of capsules communicating asynchronously with each other over connectors. Labeled transition systems are chosen as semantic domain, such that the UML-RT semantics can be defined in an SOS style a la Plotkin.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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
Arons, T., Hooman, J., Kugler, H., Pnueli, A., van der Zwaag, M.: Deductive verification of uml models in tlpvs. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 335–349. Springer, Heidelberg (2004)
Damm, W., Josko, B., Pnueli, A., Votintseva, A.: Understanding uml: A formal semantics of concurrency and communication in real-time uml. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 71–98. Springer, Heidelberg (2003)
Engels, G., Heckel, R., Kuester, J., Groenewegen, L.: Consistency-preserving model evolution through transformations. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 212–226. Springer, Heidelberg (2002)
Godskesen, J.: An operational semantic model for basic sdl. Technical Report TFL RR 1991-2, Telecommunications Research Laboratory (TFL), Horsholm (1991)
Hoare, C.: Communicating Sequential Processes. Prentice Hall, London (1985)
Latella, D., Majzik, I., Massink, M.: Towards a formal operational semantics of UML Statechart diagrams. In: Formal Methods for Open Object-based Distributed Systems, Chapman & Hall, Boca Raton (1999)
Lüttgen, G., von der Beeck, M., Cleaveland, R.: A Compositional Approach to Statecharts Semantics. In: Proc. of ACM SIGSOFT Eighth Int. Symp. on the Foundations of Software Engineering (FSE-8), pp. 120–129. ACM, New York (2000)
Maggiolo-Schettini, A., Peron, A., Tini, S.: Equivalences of Statecharts. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 687–702. Springer, Heidelberg (1996)
Milner, R.: Communication and Concurrency. Prentice Hall, London (1989)
Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Department, Aarhus University, Denmark (1981)
Reggio, G., Astesiano, E., Choppy, C., Hussmann, H.: Analysing UML Active Classes and Associated State Machines – A Lightwight Formal Approach. In: Maibaum, T.S.E. (ed.) ETAPS 2000 and FASE 2000. LNCS, vol. 1783, pp. 127–146. Springer, Heidelberg (2000)
Rumpe, B.: Formale Methodik des Entwurfs verteilter objektorientierter Systeme. PhD thesis, Institut für Informatik, Technische Universität München (1996)
Selic, B., Gullekson, G., Ward, P.: Real-time Object Oriented Modeling and Design. J. Wiley, Chichester (1994)
Shankar, S., Asa, S.: Formal semantics of uml with real-time constructs. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 60–75. Springer, Heidelberg (2003)
Uselton, A., Smolka, S.: A compositional semantics for Statecharts using labeled transition systems. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol. 836, pp. 2–17. Springer, Heidelberg (1994)
von der Beeck, M.: A Concise Compositional Statecharts Semantics Definition. In: Proc. of FORTE/PSTV 2000, pp. 335–350. Kluwer, Dordrecht (2000)
von der Beeck, M.: A structured operational semantics for UML-statecharts. Software and Systems Modeling 1(2), 130–141 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
von der Beeck, M. (2006). A Formal Semantics of UML-RT. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds) Model Driven Engineering Languages and Systems. MODELS 2006. Lecture Notes in Computer Science, vol 4199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11880240_53
Download citation
DOI: https://doi.org/10.1007/11880240_53
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45772-5
Online ISBN: 978-3-540-45773-2
eBook Packages: Computer ScienceComputer Science (R0)