Abstract
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.
Chapter PDF
Similar content being viewed by others
References
Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, Springer, Heidelberg (2000)
Hausmann, J.H.: Dynamic Meta Modeling. PhD thesis, University of Paderborn (2005)
OMG: Model Driven Architecture. http://www.omg.org/mda/
Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2. World Scientific Publisher, Singapore (1999)
Störrle, H.: Semantics of Control-Flow in UML 2.0 Activities. In: VL/HCC, pp. 235–242. IEEE Computer Society Press, Los Alamitos (2004)
Bolton, C., Davies, J.: On Giving a Behavioural Semantics to Activity Graphs, Online proceedings. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, Springer, Heidelberg (2000)
Börger, E., Cavarra, A., Riccobene, E.: An ASM Semantics for UML Activity Diagrams. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 293–308. Springer, Heidelberg (2000)
Hausmann, J.H., Störrle, H.: Towards a Formal Semantics of UML 2.0 Activities. Software Engineering 2005 P-64, 117–128 (2005)
van der Aalst, W.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)
Rensink, A.: The GROOVE Simulator: A Tool for State Space Generation. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479–485. Springer, Heidelberg (2004)
Clarke, E., Emerson, E., Sistla, A.: Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, pp. 117–126. ACM Press, New York (1983)
van der Aalst, W., van Hee, K.: Workflow Management - Models, Methods, and Systems. The MIT Press, Cambridge (2002)
Object Management Group: UML Specification V2.0 (2005) http://www.omg.org/technology/documents/modeling_spec_catalog.htm
Object Management Group: The MOF Specification (2004), http://www.omg.org/cgi-bin/doc?formal/00-04-03
Corradini, A., Ehrig, H., Löwe, M., Montanari, U., Padberg, J.: The Category of Typed Graph Grammars and its Adjunctions with Categories. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars and Their Application to Computer Science. LNCS, vol. 1073, pp. 56–74. Springer, Heidelberg (1996)
Kastenberg, H., Rensink, A.: Model checking dynamic states in GROOVE. In: Valmari, A. (ed.) Model Checking Software. LNCS, vol. 3925, pp. 299–305. Springer, Heidelberg (2006)
Kindler, E., van der Aalst, W.: Liveness, Fairness, and Recurrence in Petri Nets. Inf. Process. Lett. 70(6), 269–270 (1999)
Soltenborn, C.: Analysis of UML Workflow Diagrams with Dynamic Meta Modeling techniques. Master’s thesis, University of Paderborn (2006)
Rensink, A.: GROOVE: A Graph Transformation Tool Set for the Simulation and Analysis of Graph Grammars (2003), Available at http://www.cs.utwente.nl/~groove
Störrle, H., Hausmann, J.H.: Towards a Formal Semantics of UML 2.0 Activities. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) Software Engineering. LNI., GI, vol. 64, pp. 117–128 (2005)
Störrle, H.: Semantics and Verification of Data Flow in UML 2.0 Activities. Electr. Notes Theor. Comput. Sci. 127(4), 35–52 (2005)
Eshuis, R.: Symbolic model checking of UML Activity diagrams. ACM Trans. Softw. Eng. Methodol. 15(1), 1–38 (2006)
Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An Opensource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359–364. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 IFIP International Federation for Information Processing
About this paper
Cite this paper
Engels, G., Soltenborn, C., Wehrheim, H. (2007). Analysis of UML Activities Using Dynamic Meta Modeling. In: Bonsangue, M.M., Johnsen, E.B. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2007. Lecture Notes in Computer Science, vol 4468. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72952-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-72952-5_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72919-8
Online ISBN: 978-3-540-72952-5
eBook Packages: Computer ScienceComputer Science (R0)