On translating UML models into graph transformation systems

Journal of Visual Languages and Computing

Volumn 17, Issue 1, 2006, Pages 78-105

  Hölscher, Karsten ^a   Ziemann, Paul ^a   Gogolla, Martin ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

CASE tool; Graph transformation; UML semantics; Validation

Indexed keywords

EID: 31344473937     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jvlc.2005.11.001     Document Type: Article

References (41)

1. OMG, OMG Unified Modeling Language Specification, Version 1.5, March 2003, Object Management Group, Inc., Framingham, MA, , 2003.
2. M. Richters, A precise approach to validating UML models and OCL constraints, Ph.D. Thesis, Universität Bremen, Logos Verlag, Berlin, BISS Monographs, No. 14, 2002.
3. Boldsoft, Rational Software Corporation, and IONA, Response to the UML 2.0 OCL RfP (ad/2000-09-03), January 2003. .
4. G. Rozenberg (Ed.), Handbook of Graph Grammars and Computing by Graph Transformation, Foundations, vol. 1, World Scientific, Singapore, 1997.
5. H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (Eds.), Handbook of Graph Grammars and Computing by Graph Transformation, Applications, Languages and Tools, vol. 2, World Scientific, Singapore, 1999.
6. H. Ehrig, H.-J. Kreowski, U. Montanari, G. Rozenberg (Eds.), Handbook of Graph Grammars and Computing by Graph Transformation, Concurrency, Parallelism, and Distribution, vol. 3, World Scientific, Singapore, 1999.
7. P. Ziemann, An integrated operational semantics for a UML core based on graph transformation, Ph.D. Thesis, University of Bremen, 2005.
8. S.-K. Kim, D.A. Carrington, An integrated framework with UML and Object-Z for developing a precise specification: The light control case study, in: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore. IEEE Computer Society, 2000, pp. 240-248.
9. T. Clark, A. Evans, S. Kent, The metamodelling language calculus: foundation semantics for UML, in: H. Hussmann (Ed.), Fundamental Approaches to Software Engineering, Fourth International Conference, FASE 2001, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001, Proceedings, Lecture Notes in Computer Science, vol. 2029, Springer, Berlin, 2001, pp. 17-31.
10. A. Evans, S. Kent, Core meta-modelling semantics of UML: The pUML approach, in: R. France, B. Rumpe (Eds.), UML'99-The Unified Modeling Language, Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings, Lecture Notes in Computer Science, vol. 1723, Springer, Berlin, 1999, pp. 140-155.
11. R.B. France A. Evans K. Lano B. Rumpe The UML as a formal modeling notation Computer Standards and Interfaces 19 7 1998 325-334
12. H. Störrle, Semantics and verification of data flow in UML 2.0 activities, in: M. Minas (Ed.), Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004), Electronic Notes in Theoretical Computer Science, vol. 127(4), Elsevier, Amsterdam, 2005, pp. 35-52.
13. R. Breu, U. Hinkel, C. Hofmann, C. Klein, B. Paech, B. Rumpe, V. Thurner, Towards a formalization of the Unified Modeling Language, in: M. Aksit, S. Matsuoka (Eds.), ECOOP'97-Object-Oriented Programming, 11th European Conference, Lecture Notes in Computer Science, vol. 1241, Springer, Berlin, 1997, pp. 344-366.
14. R. Eshuis, R. Wieringa, A real-time execution semantics for UML activity diagrams, in: H. Hussmann (Ed.), Fundamental Approaches to Software Engineering, Fourth International Conference, FASE 2001, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001, Proceedings, Lecture Notes in Computer Science, vol. 2029, Springer, Berlin, 2001, pp. 76-90.
15. R. Wieringa, Formalizing the UML in a systems engineering approach, in: H. Kilov, B. Rumpe (Eds.), Proceedings Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications), Technische Universität München, TUM-I9813, 1998, pp. 254-266.
16. L. Starr Executable Uml: How to Build Class Models 2001 Prentice Hall PTR Upper Saddle River, NJ, USA (Foreword by Stephen J. Mellor)
17. S. Kuske, M. Gogolla, R. Kollmann, H.-J. Kreowski, An integrated semantics for UML class, object, and state diagrams based on graph transformation, in: M. Butler, K. Sere (Eds.), Third International Conference on Integrated Formal Methods (IFM'02), Lecture Notes in Computer Science, vol. 2335, Springer, Berlin, 2002, pp. 11-28.
18. M. Gogolla, P. Ziemann, S. Kuske, Towards an integrated graph based semantics for UML, in: Graph Transformation and Visual Modeling Techniques (GT-VMT 2002), ENTCS, vol. 72, 2003.
19. R. Heckel, S. Sauer, Strengthening uml collaboration diagrams by state transformations, in: H. Hussmann (Ed.), Fundamental Approaches to Software Engineering, Fourth International Conference, FASE 2001, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001, Proceedings, Lecture Notes in Computer Science, vol. 2029, Springer, Berlin, 2001, pp. 109-123.
20. S. Kuske, A formal semantics of uml state machines based on structured graph transformation, in: M. Gogolla, C. Kobryn (Eds.), UML 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, Lecture Notes in Computer Science, vol. 2185, 2001, pp. 241-256.
21. D. Varró, A formal semantics of UML statecharts by model transition systems, in: A. Corradini, H. Ehrig, H.-J. Kreowski, G. Rozenberg (Eds.), Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 2002, Proceedings, Lecture Notes in Computer Science, vol. 2505, Springer, Berlin, 2002, pp. 378-392.
22. T. Fischer, J. Niere, L. Torunski, A. Zündorf, Story diagrams: A new graph transformation language based on UML and Java, in: H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (Eds.), Proceedings of the Theory and Application to Graph Transformations (TAGT'98), Paderborn, November, 1998, Lecture Notes in Computer Science, vol. 1764, Springer, Berlin, 1998.
23. G. Engels, R. Heckel, J.M. Küster, L. Groenewegen, Consistency-preserving model evolution through transformations, in: J.-M. Jézéquel, H. Hussmann, S. Cook (Eds.), UML 2002-The Unified Modeling Language, Model Engineering, Languages, Concepts, and Tools, Fifth International Conference, Dresden, Germany, September/ October 2002, Proceedings, Lecture Notes in Computer Science, vol. 2460, Springer, Berlin, 2002, pp. 212-226.
24. A. Schürr, A.J. Winter, UML Packages for PROgrammed Graph REwriting Systems, in: H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (Eds.), TAGT, Lecture Notes in Computer Science, vol. 1764, Springer, Berlin, 1998, pp. 396-409.
25. A. Tsiolakis, H. Ehrig, Consistency analysis of UML class and sequence diagrams using attributed graph grammars, in: H. Ehrig, G. Taentzer (Eds.), Proceedings of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, Berlin, March 2000, Technical Report no. 2000/2, Technical University of Berlin.
26. E. Börger, A. Cavarra, E. Riccobene, Modeling the dynamics of UML state machines, in: Y. Gurevich, P.W. Kutter, M. Odersky, L. Thiele (Eds.), Abstract State Machines, Lecture Notes in Computer Science, vol. 1912, Springer, Berlin, 2000, pp. 223-241.
27. A. Cavarra, E. Riccobene, P. Scandurra, Integrating UML static and dynamic views and formalizing the interaction mechanism of UML state machines, in: E. Börger, A. Gargantini, E. Riccobene (Eds.), Abstract State Machines, Lecture Notes in Computer Science, vol. 2589, Springer, Berlin, 2003, pp. 229-243.
28. E. Börger, A. Cavarra, E. Riccobene, An ASM semantics for UML activity diagrams, in: T. Rus (Ed.), Proceedings of the International Conference on Algebraic Methodology and Software Technology (AMAST'2000), Lecture Notes in Computer Science, vol. 1816, Springer, Berlin, 2000, pp. 293-308.
29. S. Flake, W. Mueller, An ASM definition of the dynamic OCL 2.0 semantics, in: T. Baar, A. Strohmeier, A. Moreira, S.J. Mellor (Eds.), Proceedings of the International Conference on Unified Modeling Language (UML'2004), Lecture Notes in Computer Science, vol. 3273, Springer, Berlin, 2004, pp. 226-240.
30. A. Cavarra, J.K. Filipe, Formalizing liveness-enriched sequence diagrams using ASMs, in: W. Zimmermann, B. Thalheim (Eds.), Abstract State Machines, Lecture Notes in Computer Science, vol. 3052, Springer, Berlin, 2004, pp. 62-77.
31. W. Shen K.J. Compton J. Huggins A UML validation toolset based on abstract state machines ASE 2001 IEEE Computer Society Silver Spring, MD 315-318
32. W. Shen K.J. Compton J. Huggins A method of implementing UML virtual machines with some constraints based on abstract state machines APSEC 2003 IEEE Computer Society Silver Spring, MD 224-232
33. S. Sendall, A. Strohmeier, From use cases to system operation specifications, in: A. Evans, S. Kent, B. Selic (Eds.), UML 2000-The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2000, Proceedings, Lecture Notes in Computer Science, vol. 1939, Springer, Berlin, 2000, pp. 1-15.
34. R. Heckel, J.M. Küster, G. Taentzer, Confluence of typed attributed graph transformation systems, in: A. Corradini, H. Ehrig, H.-J. Kreowski, G. Rozenberg (Eds.), Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, Lecture Notes in Computer Science, vol. 2505, Springer, Berlin, 2002, pp. 161-176.
35. H.-J. Kreowski S. Kuske Graph transformation units with interleaving semantics Formal Aspects of Computing 11 6 1999 690-723
36. S. Kuske, Transformation units - a structuring principle for graph transformation systems, Ph.D. Thesis, University of Bremen, 2000.
37. G. Booch J. Rumbaugh I. Jacobson The Unified Modeling Language User Guide 1998 Addison-Wesley Reading, MA
38. B. Cordes, K. Hölscher, H.-J. Kreowski, UML interaction diagrams: correct translation of sequence diagrams into collaboration diagrams, in: M. Nagl, J. Pfaltz, B. Böhlen (Eds.), AGTIVE'03 Proceedings, Lecture Notes in Computer Science, vol. 3062, Springer, 2004, pp. 275-291.
39. M. Abadi L. Cardelli A Theory of Objects 1998 Springer Berlin
40. The Attributed Graph Grammar System AGG, last revision 2005. .
41. A UML-based Specification Environment, last revision 2005. .