Coherently explaining UML statechart and collaboration diagrams by graph transformations

Electronic Notes in Theoretical Computer Science

Volumn 130, Issue , 2005, Pages 263-280

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

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

Graph transformation; Integrated formal semantics; OCL; UML

Indexed keywords

GRAPH THEORY; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE ENGINEERING; SYNTACTICS;

GRAPH TRANSFORMATION; INTEGRATED FORMAL SEMANTICS; OBJECT CONSTRAINT LANGUAGE (OCL); UNIFIED MODELING LANGUAGE (UML);

COMPUTER PROGRAMMING LANGUAGES;

EID: 18144385509     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.03.014     Document Type: Conference Paper

References (15)

1. G. Engels, R. Heckel, J.M. Küster, and L. Groenewegen Consistency-Preserving Model Evolution through Transformations J.-M. Jézéquel H. Hussmann S. Cook UML 2002 - The Unified Modeling Language. Model Engineering, Languages, Concepts, and Tools. 5th International Conference, Proceedings Dresden, Germany, September/October 2002 LNCS volume 2460 2002 Springer 212 226
2. T. Fischer, J. Niere, L. Torunski, and A. Zündorf Story Diagrams: A new Graph Transformation Language based on UML and Java H. Ehrig G. Engels H.-J. Kreowski G. Rozenberg Proc. Theory and Application to Graph Transformations (TAGT'98), Paderborn, November, 1998 LNCS volume 1764 1998 Springer
3. M. Gogolla, P. Ziemann, and S. Kuske Towards an integrated graph based semantics for UML Graph Transformation and Visual Modeling Techniques (GT-VMT 2002) ENTCS 72 2003
4. R. Heckel, and S. Sauer Strengthening UML Collaboration Diagrams by State Transformations H. Hussmann Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001, held as Part of the Joint European Conferences on Theory and Practice of Software, Proceedings ETAPS 2001, Genova, Italy, April 2-6 LNCS volume 2029 2001 Springer 109 123
5. S. Kuske, M. Gogolla, R. Kollmann, and H.-J. Kreowski An Integrated Semantics for UML Class, Object, and State Diagrams based on Graph Transformation M. Butler K. Sere 3rd Int. Conf. Integrated Formal Methods (IFM'02) LNCS volume 2335 2002 Springer 11 28
6. G. Kwon Rewrite rules and Operational Semantics for Model Checking UML Statecharts A. Evans S. Kent B. Selic UML 2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference. Proceedings York, UK, October 2000 LNCS volume 1939 2000 Springer 528 540
7. M. Löwe, M. Korff, and A. Wagner An Algebraic Framework for the Transformation of Attributed Graphs R. Sleep R. Plasmeijer M. van Eekelen Term Graph Rewriting: Theory and Practice 1993 John Wiley New York 185 199
8. A. Maggiolo-Schettini, and A. Peron Semantics of full statecharts based on graph rewriting H. Schneider H. Ehrig Proc. Graph Transformation in Computer Science LNCS volume 776 1994 Springer 265 279
9. OMG OMG Unified Modeling Language Specification, Version 1.5, March 2003 2003 Object Management Group, Inc. Framingham, Mass. Internet http://www.omg.org
10. OMG (2004). UML 2.0 superstructure final adopted specification. Technical report, Object Management Group. http://www.omg.org/cgi-bin/doc?ptc/2003-09-15
11. Richters, M. (2002). A Precise Approach to Validating UML Models and OCL Constraints. PhD thesis, Universität Bremen, Logos Verlag, Berlin, BISS Monographs, No. 14
12. G. Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations 1997 World Scientific Singapore
13. Tsiolakis, A. and Ehrig, H. (2000). Consistency Analysis of UML Class and Sequence Diagrams using Attributed Graph Grammars. In Ehrig, H. and Taentzer, G., editors, Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, Berlin, March 2000. Technical Report no. 2000/2, Technical University of Berlin
14. D. Varró A formal semantics of UML statecharts by model transition systems A. Corradini H. Ehrig H.J. Kreowski G. Rozenberg Graph Transformation. First International Conference, Proceedings ICGT 2002, Barcelona, Spain, October 2002 LNCS volume 2505 2002 Springer 378 392
15. Ziemann, P., Hölscher, K., and Gogolla, M. (2004). From UML models to graph transformation systems. In Minas, M., editor, Preliminary Proceedings: Workshop on Visual Languages and Formal Methods