Analysis of UML Activities Using Dynamic Meta Modeling

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.

• Type: Conference
• Year: 2007
• Where: FMOODS
• Authors: Gregor Engels, Christian Soltenborn, Heike Wehrheim
• Keywords: Dynamic Meta Modeling, FMOODS 2007, Formal Methods, Precise Semantic Models, Semantics