Analysis of UML Activities Using Dynamic Meta Modeling [chapter]

Gregor Engels, Christian Soltenborn, Heike Wehrheim
2007 Lecture Notes in Computer Science  
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.
doi:10.1007/978-3-540-72952-5_5 fatcat:u6nmj7ntwvbibjjlmsrievu2xy