Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML

G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK), Springer, Berlin/Heidelberg, 2000, pp. 323–337.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
; ; ;
Abstract
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a speci.cation of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to de.ne the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s structured operational semantics (SOS) paradigm, a style of semantics speci.cation for concurrent programming languages and process calculi: Collaboration diagrams are used as deduction rules to specify a goal-oriented interpreter for the language. The approach is exemplified using a fragment of UML statechart and object diagrams. Formally, collaboration diagrams are interpreted as graph transformation rules. In this way, dynamic UML semantics can be both mathematically rigorous so as to enable formal specifications and proofs and, due to the use of UML notation, understandable without prior knowledge of heavy mathematic machinery. Thus, it can be used as a reference by tool developers, teachers, and advanced users.
Publishing Year
Proceedings Title
Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK)
Volume
1939
Page
323-337
LibreCat-ID

Cite this

Engels G, Hendrik Hausmann J, Heckel R, Sauer S. Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In: Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK). Vol 1939. LNCS. Berlin/Heidelberg: Springer; 2000:323-337. doi:http://dx.doi.org/10.1007/3-540-40011-7_23
Engels, G., Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2000). Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK) (Vol. 1939, pp. 323–337). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-40011-7_23
@inproceedings{Engels_Hendrik Hausmann_Heckel_Sauer_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML}, volume={1939}, DOI={http://dx.doi.org/10.1007/3-540-40011-7_23}, booktitle={Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK)}, publisher={Springer}, author={Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={323–337}, collection={LNCS} }
Engels, Gregor, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. “Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.” In Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK), 1939:323–37. LNCS. Berlin/Heidelberg: Springer, 2000. http://dx.doi.org/10.1007/3-540-40011-7_23.
G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML,” in Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK), 2000, vol. 1939, pp. 323–337.
Engels, Gregor, et al. “Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.” Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK), vol. 1939, Springer, 2000, pp. 323–37, doi:http://dx.doi.org/10.1007/3-540-40011-7_23.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar