UML interactiondiagrams: Correct translation of sequence diagrams into collaboration diagrams

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

Volumn 3062, Issue , 2004, Pages 275-291

  Cordes, Björn ^a   Hölscher, Karsten ^a   Kreowski, Hans Jörg ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY;

COLLABORATION DIAGRAM; GRAPH TRANSFORMATION; INTERACTION DIAGRAM; SEQUENCE DIAGRAMS;

GRAPHIC METHODS;

EID: 33748292653     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25959-6_20     Document Type: Article

References (19)

1. D. Akehurstand S. Kent. A Relational Approach to Defining Transformations in a Metamodel. In J.-M. Jézéquel, H. Hussmann, and S. Cook, editors, Proc.5th Int. Conference on UML 2002 - The Unified Modeling Language, volume 2460 of Lecture Notes in Computer Science, pages 243-258. Springer, 2002.
2. G. Booch,J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley,1998.
3. B. Cordesand K. Hölscher. UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams. Diploma thesis, Department of Computer Science, University of Bremen, Bremen, Germany,2003.
4. 3: A Tool for Multi-formalism and Metamodelling. In R.-D. Kutsche and H. Weber, editors, Proc. 5th Int. Conference on Fundamental Approaches to Software Engineering, volume 2306 of Lecture Notes in Computer Science, pages 174-188. Springer, 2002.
5. H. Ehrig,R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, and A. Corradini. Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach. In G. Rozenberg, editor, The Handbook of Graph Grammars and Computing by Graph Transformation, Volume1: Foundations. World Scientific, 1997.
6. M. Gogolla.Graph Transformations on the UML Metamodel. In J. D. P. Rolim, A. Z. Broder, A. Corradini, R. Gorrieri, R. Heckel, J. Hromkovic, U. Vaccaro, and J. B. Wells, editors, Proc. ICALP Workshop Graph Transformations and Visual Modeling Techniques (GVMT'2000), pages 359-371. Carleton Scientific, Waterloo, Ontario, Canada, 2000.
7. M. Gogollaand F. Parisi-Presicce. State Diagrams in UML: A Formal Semantics using Graph Transformations. In M. Broy, D. Coleman, T. S. E. Maibaum, and B. Rumpe, editors, Proc. ICSE'98 Workshop on Precise Semantics for Modeling Techniques, pages 55-72. Technical Report TUM-I9803, 1998.
8. M. Gogolla,P. Ziemann, and S. Kuske. Towards an Integrated Graph Based Semantics for UML. In P. Bottoni and M. Minas, editors, Proc. ICGT Workshop Graph Transformation and Visual Modeling Techniques (GT-VMT'2002), volume 72(3) of Electronic Notes in Theoretical Computer Science. Springer, 2002.
9. H.-J. Kreowski.Translations into the Graph Grammar Machine. In R. Sleep, R. Plasmeijer, and M. van Eekelen, editors, Term Graph Rewriting: Theory and Practice, pages171-183. John Wiley, New York, 1993.
10. H.-J. Kreowskiand S. Kuske. On the Interleaving Semantics of Transformation Units - A Step into GRACE. In J. E. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors, Proc.5th Int. Workshop on Graph Grammars and their Application to Computer Science, volume 1073 of Lecture Notes in Computer Science, pages 89-106. Springer, 1996.
11. H.-J. Kreowskiand S. Kuske. Graph Transformation Units and Modules. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, The Handbook of Graph Grammars and Computing by Graph Transformation, Volume2: Applications, Languages and Tools. World Scientific, 1999.
12. S. Kuske.A Formal Semantics of UML State Machines Based on Structured Graph Transformation. In M. Gogolla and C. Kobryn, editors, UML2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools, volume 2185 of Lecture Notes in Computer Science, pages 241-256. Springer, 2001.
13. S. Kuske,M. Gogolla, R. Kollmann, and H.-J. Kreowski. An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. In M. Butler and K. Sere, editors,3rd Int. Conf. Integrated Formal Methods (IFM'02), volume 2335 of Lecture Notes in Computer Science. Springer, 2002.
14. M. Löwe,M. Korff, and A. Wagner. An Algebraic Framework for the Transformation of Attributed Graphs. In R. Sleep, R. Plasmeijer, and M. van Eekelen, editors, Term Graph Rewriting: Theory and Practice, pages185-199. John Wiley, New York, 1993.
15. A. Maggiolo-Schettiniand A. Peron. Semantics of Full Statecharts Based on Graph Rewriting. In H.-J. Schneider and H. Ehrig, editors, Proc. Graph Transformation in Computer Science, volume776 of Lecture Notes in Computer Science, pages 265-279. Springer, 1994.
16. A. Maggiolo-Schettiniand A. Peron. A Graph Rewriting Framework for Statecharts Semantics. In J. E. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors, Proc.5th Int. Workshop on Graph Grammars and their Application to Computer Science, volume 1073 of Lecture Notes in Computer Science, pages 107-121. Springer, 1996.
17. OMG, editor.OMG Unified Modeling Language Specification, Version1.4, September 2001. Technical report, Object Management Group, Inc., Framingham, MA, 2001.
18. A. Tsiolakisand 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, pages77-86, 2000. Technical Report no. 2000/2, Technical University of Berlin.
19. D. Varró.A Formal Semantics of UML Statecharts by Model Transition Systems. In A. Corradini, H. Ehrig, H. J. Kreowski, and G. Rozenberg, editors, Proc. First Int. Conference on Graph Transformation, volume2505 of Lecture Notes in Computer Science, pages 378-392. Springer, 2002.