Analysis of UML Activities Using Dynamic Meta Modeling - Engels, Gregor; Soltenborn, Christian; Wehrheim, Heike (Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings)