Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models. DMM has been designed with the aim of getting highly understandable yet precise semantic models which in particular allow for a formal analysis. In this paper, we exemplify this by showing how DMM can be used to give a semantics to and define an associated analysis technique for UML Activities. © IFIP International Federation for Information Processing 2007.
CITATION STYLE
Engels, G., Soltenborn, C., & Wehrheim, H. (2007). Analysis of UML activities using dynamic meta modeling. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4468 LNCS, pp. 76–90). Springer Verlag. https://doi.org/10.1007/978-3-540-72952-5_5
Mendeley helps you to discover research relevant for your work.