Abstract
In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformation and shown correct.
Research partially supported by the EC Research Training Network SegraVis and the DFG project UML-AID.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Akehurst, D., Kent, S.: A Relational Approach to Defining Transformations in a Metamodel. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 243–258. Springer, Heidelberg (2002)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)
Cordes, B., Hölscher, K.: UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams. Diploma thesis, Department of Computer Science, University of Bremen, Bremen, Germany (2003)
de Lara, J., Vangheluwe, H.: AToM3: A Tool for Multi-formalism and Metamodelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 174–188. Springer, Heidelberg (2002)
Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach. In: Rozenberg, G. (ed.) The Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol. 1, World Scientific, Singapore (1997)
Gogolla, M.: Graph Transformations on the UML Metamodel. In: Rolim, J.D.P., Broder, A.Z., Corradini, A., Gorrieri, R., Heckel, R., Hromkovic, J., Vaccaro, U., Wells, J.B. (eds.) Proc. ICALP Workshop Graph Transformations and Visual Modeling Techniques (GVMT 2000), pp. 359–371. Carleton Scientific, Waterloo (2000)
Gogolla, M., Parisi-Presicce, F.: State Diagrams in UML: A Formal Semantics using Graph Transformations. In: Broy, M., Coleman, D., Maibaum, T.S.E., Rumpe, B. (eds.) Proc. ICSE 1998 Workshop on Precise Semantics for Modeling Techniques, pp. 55–72, Technical Report TUM-I9803 (1998)
Gogolla, M., Ziemann, P., Kuske, S.: Towards an Integrated Graph Based Semantics for UML. In: Bottoni, P., Minas, M. (eds.) Proc. ICGT Workshop Graph Transformation and Visual Modeling Techniques (GT-VMT 2002). Electronic Notes in Theoretical Computer Science, vol. 72(3), Springer, Heidelberg (2002)
Kreowski, H.-J.: Translations into the Graph Grammar Machine. In: Sleep, R., Plasmeijer, R., van Eekelen, M. (eds.) Term Graph Rewriting: Theory and Practice, pp. 171–183. John Wiley, New York (1993)
Kreowski, H.-J., Kuske, S.: On the Interleaving Semantics of Transformation Units—A Step into GRACE. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol. 1073, pp. 89–106. Springer, Heidelberg (1996)
Kreowski, H.-J., Kuske, S.: Graph Transformation Units and Modules. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) The Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2, World Scientific, Singapore (1999)
Kuske, S.: A Formal Semantics of UML State Machines Based on Structured Graph Transformation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 241–256. Springer, Heidelberg (2001)
Kuske, S., Gogolla, M., Kollmann, R., Kreowski, H.-J.: An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, p. 11. Springer, Heidelberg (2002)
Löwe, M., Korff, M., Wagner, A.: An Algebraic Framework for the Transformation of Attributed Graphs. In: Sleep, R., Plasmeijer, R., van Eekelen, M. (eds.) Term Graph Rewriting: Theory and Practice, pp. 185–199. John Wiley, New York (1993)
Maggiolo-Schettini, A., Peron, A.: Semantics of Full Statecharts Based on Graph Rewriting. In: Ehrig, H., Schneider, H.-J. (eds.) Dagstuhl Seminar 1993. LNCS, vol. 776, pp. 265–279. Springer, Heidelberg (1994)
Maggiolo-Schettini, A., Peron, A.: A Graph Rewriting Framework for Statecharts Semantics. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol. 1073, pp. 107–121. Springer, Heidelberg (1996)
OMG, editor. OMG Unified Modeling Language Specification, Version 1.4 (September 2001), Technical report, Object Management Group, Inc., Framingham, MA (2001)
Tsiolakis, A., Ehrig, H.: Consistency Analysis of UML Class and Sequence Diagrams using Attributed Graph Grammars. In: Ehrig, H., Taentzer, G. (eds.) Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, pp. 77–86 (2000), Technical Report no. 2000/2, Technical University of Berlin
Varró, D.: A Formal Semantics of UML Statecharts by Model Transition Systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 378–392. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cordes, B., Hölscher, K., Kreowski, HJ. (2004). UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2003. Lecture Notes in Computer Science, vol 3062. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25959-6_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-25959-6_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22120-3
Online ISBN: 978-3-540-25959-6
eBook Packages: Springer Book Archive