Analysis of UML activities using dynamic meta modeling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4468 LNCS, Issue , 2007, Pages 76-90

  Engels, Gregor ^a   Soltenborn, Christian ^a   Wehrheim, Heike ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Behavior; DMM; Semantics; UML; Verification

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; SEMANTICS; VERIFICATION; MODELING LANGUAGES;

ASSOCIATED ANALYSIS TECHNIQUE; DYNAMIC META MODELING (DMM); FORMAL ANALYSIS; META MODELS; ANALYSIS TECHNIQUES; BEHAVIOR; DMM; DYNAMIC META MODELING; UML; UML ACTIVITIES; UNIVERSAL APPROACH;

UNIFIED MODELING LANGUAGE; FORMAL METHODS;

EID: 37149001952     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72952-5_5     Document Type: Conference Paper

References (23)

1. 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 - The Unified Modeling Language. LNCS, vol. 1939, Springer-Verlag, Heidelberg (Oct. 2000)
2. Hausmann, J.H.: Dynamic Meta Modeling. PhD thesis, University of Paderborn (2005)
3. OMG: Model Driven Architecture, http://www.omg.org/mda/
4. 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)
5. 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)
6. Bolton, C., Davies, J.: On Giving a Behavioural Semantics to Activity Graphs. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, Springer, Heidelberg (2000)
7. 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)
8. Hausmann, J.H., Störrle, H.: Towards a Formal Semantics of UML 2.0 Activities. Software Engineering 2005 P-64, 117-128 (2005)
9. 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)
10. 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 (2003)
11. 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)
12. van der Aalst, W., van Hee, K.: Workflow Management - Models, Methods, and Systems. The MIT Press, Cambridge (2002)
13. Object Management Group: UML Specification V2.0. http://www.omg.org/ technology/documents/modeling_spec_catalog.htm (2005)
14. Object Management Group: The MOF Specification, http://www.omg.org/cgi- bin/doc?formal/00-04-03 (2004)
15. 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.E., Ehrig, H., Engels, G., Rozenberg, G. (eds.) Graph Grammars and Their Application to Computer Science. LNCS, vol. 1073, pp. 56-74. Springer, Heidelberg (1994)
16. Kastenberg, H., Rensink, A.: Model checking dynamic states in GROOVE. In: Valmari, A. (ed.) Model Checking Software (SPIN). LNCS, vol. 3925, pp. 299-305. Springer, Heidelberg (2006)
17. Kindler, E., van der Aalst, W.: Liveness, Fairness, and Recurrence in Petri Nets. Inf. Process. Lett. 70(6), 269-270 (1999)
18. Soltenborn, C.: Analysis of UML Workflow Diagrams with Dynamic Meta Modeling techniques. Master's thesis, University of Paderborn (2006)
19. Rensink, A.: GROOVE: A Graph Transformation Tool Set for the Simulation and Analysis of Graph Grammars. Available at http://www.cs.utwente.nl/~groove (2003)
20. 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. LNL, GI, vol. 64 pp. 117-128 (2005)
21. Störrle, H.: Semantics and Verification of Data Flow in UML 2.0 Activities. Electr. Notes Theor. Comput. Sci. 127(4), 35-52 (2005)
22. Eshuis, R.: Symbolic model checking of UML Activity diagrams. ACM Trans. Softw. Eng. Methodol. 15(1), 1-38 (2006)
23. 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)