Towards an integrated graph based semantics for UML

Electronic Notes in Theoretical Computer Science

Volumn 72, Issue 3, 2003, Pages 160-175

  Gogolla, Martin ^a   Ziemann, Paul ^a   Kuske, Sabine ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED LANGUAGE TRANSLATION; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

COLLABORATION DIAGRAMS; GRAPH TRANSFORMATION; STATE DIAGRAMS; UNIFIED MODELING LANGUAGE (UML);

GRAPH THEORY;

EID: 10444256882     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80619-4     Document Type: Conference Paper

References (18)

1. [Boo94] Booch Grady. Object-Oriented Analysis and Design with Applications. 1994;Benjamin/Cummings
2. [BRJ98] Booch Grady, Rumbaugh James, Jacobson Ivar. The Unified Modeling Language User Guide. 1998;Addison-Wesley
3. [EEKR99] Ehrig Hartmut, Engels Gregor, Kreowski Hans-Jörg, Rozenberg Grzegorz. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools. 1999;World Scientific, Singapore
4. [EHHS00]Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In Andy Evans, Stuart Kent, and Bran Selic, editors, UML 2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 323-337. Springer, 2000
5. [EKMR99] Ehrig Hartmut, Kreowski Hans-Jörg, Montanari Ugo, Rozenberg Grzegorz. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools. 1999;World Scientific, Singapore
6. [FS97] Fowler Martin, Scott Kendall. UML Distilled: Applying the Standard Object Modeling Language. 1997;Addison-Wesley
7. [Gog00] Martin Gogolla. Graph Transformations on the UML Metamodel. In Jose D. P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, and Joe B. Wells, editors, Proc. ICALP Workshop Graph Transformations and Visual Modeling Techniques (GVMT'2000), pages 359-371. Carleton Scientific, Waterloo, Ontario, Canada, 2000
8. [GPP98] Martin Gogolla and Francesco Parisi-Presicce. State Diagrams in UML - A Formal Semantics using Graph Transformation. In Manfred Broy, Derek Coleman, Tom Maibaum, and Bernhard Rumpe, editors, Proc. ICSE'98 Workshop on Precise Semantics of Modeling Techniques (PSMT'98), pages 55-72. Technical University of Munich, Technical Report TUM-19803, 1998
9. [GR99] Gogolla Martin, Richters Mark. Transformation rules for UML class diagrams. Bézivin Jean, Muller Pierre-Alain. The Unified Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, June 1998, Selected Papers, volume 1618 of LNCS. 1999;92-106 Springer
10. [JCJO92] Jacobsen Ivar, Christerson Magnus, Jonsson Patrik, Overgaard Gunnar. Object-Oriented Software Engineering: A Use Case Driven Approach. 1992;Addison-Wesley
11. [KGKK02] Kuske Sabine, Gogolla Martin, Kollmann Ralf, Kreowski Hans-Jörg. An Integrated Semantics for UML Class, Object, and State Diagrams based on Graph Transformation. Butler Michael, Sere Kaisa. 3rd Int. Conf. Integrated Formal Methods (IFM'02). 2002;Springer, Berlin, LNCS
12. [Kus01] Sabine Kuske. A formal semantics of UML state machines based on structured graph transformation. In Martin Gogolla and Cris Kobryn, editors, UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools. 4th International Conference, Toronto, Canada, October 2001, Proceedings, volume 2185 of LNCS, pages 241-256. Springer, 2001
13. [OMG01] OMG, editor. OMG Unified Modeling Language Specification, Version 1.4, September 2001. Object Management Group, Inc., Framingham, Mass., Internet: http://www.omg.org, 2001
14. +91] Rumbaugh James, Blaha Michael, Premerlani William, Eddy Frederick, Lorensen William. Object-Oriented Modeling and Design. 1991;Prentice-Hall, Englewood Cliffs (NJ)
15. [RJB98] Rumbaugh James, Jacobson Ivar, Booch Grady. The Unified Modeling Language Reference Manual. 1998;Addison-Wesley
16. Rozenberg Grzegorz. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations. 1997;World Scientific, Singapore
17. [Sch99] Schleicher Ansgar. Formalizing UML-based process models using graph transformations. In AGTIVE, volume 1779 of LNCS. 1999;341-357 Springer
18. [TE00] A. Tsiolakis and H. Ehrig. Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In H. Ehrig and G. Taentzer, editors, Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, Berlin, March 2000, 2000. Technical Report no. 2000/2, Technical University of Berlin