{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:02:42Z","timestamp":1725494562250},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418634"},{"type":"electronic","value":"9783540453147"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45314-8_9","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T12:01:23Z","timestamp":1194955283000},"page":"109-123","source":"Crossref","is-referenced-by-count":8,"title":["Strengthening UML Collaboration Diagrams by State Transformations"],"prefix":"10.1007","author":[{"given":"Reiko","family":"Heckel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Sauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"9_CR1","unstructured":"Action Semantics Consortium. Precise action semantics for the Unified Modeling Language, August 2000. http:\/\/www.kc.com\/as-site ."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"P. Bottoni, M. Koch, F. Parisi Presicce, and G. Taentzer. Consistency checking and visualization of OCL constraints. In Evans et al. [13], pages 294\u2013308.","DOI":"10.1007\/3-540-40011-7_21"},{"key":"9_CR3","unstructured":"D. Coleman, P. Arnold, S. Bodof, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremes. Object Oriented Development, The Fusion Method. Prentice Hall, 1994."},{"issue":"34","key":"9_CR4","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"A. Corradini, U. Montanari, and F. Rossi. Graph processes. Fundamenta Informaticae, 26(3,4):241\u2013266, 1996.","journal-title":"Fundamenta Informaticae"},{"key":"9_CR5","unstructured":"A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Lowe. Algebraic approaches to graph transformation, Part I: Basic concepts and double pushout approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation, volume 1: Foundations, pages 163\u2013245.World Scientific, 1997."},{"key":"9_CR6","unstructured":"D. D\u2019Souza and A. Wills. Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley, 1998."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages, and Tools. World Scientific, 1999.","DOI":"10.1142\/4180"},{"key":"9_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 6th Int. Workshop on Theory and Application of Graph Transformation (TAGT\u201998), Paderborn, November 1998","year":"2000","unstructured":"H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Proc. 6th Int. Workshop on Theory and Application of Graph Transformation (TAGT\u201998), Paderborn, November 1998, volume 1764 of LNCS. Springer-Verlag, 2000."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, volume 3: Concurrency and Distribution. World Scientific, 1999.","DOI":"10.1142\/4181"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Pfender, and H.J. Schneider. Graph grammars: an algebraic approach. In 14th Annual IEEE Symposium on Switching and Automata Theory, pages 167\u2013180. IEEE, 1973.","DOI":"10.1109\/SWAT.1973.11"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"G. Engels, J.H. Hausmann, R. Heckel, and St. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In Evans et al. [13], pages 323\u2013337.","DOI":"10.1007\/3-540-40011-7_23"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"G. Engels, R. Hucking, St. Sauer, and A. Wagner. UML collaboration diagrams and their transformation to Java. In France and Rumpe [15], pages 473\u2013488.","DOI":"10.1007\/3-540-46852-8_34"},{"key":"9_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Proc. UML 2000-Advancing the Standard","year":"2000","unstructured":"A. Evans, S. Kent, and B. Selic, editors. Proc. UML 2000-Advancing the Standard, volume 1939 of LNCS. Springer-Verlag, 2000."},{"key":"9_CR14","unstructured":"T. Fischer, J. Niere, L. Torunski, and A. Zundorf. Story diagrams: A new graph transformation language based on UML and Java. In Ehrig et al. [8]."},{"key":"9_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Proc. UML\u201999-Beyond the Standard","year":"1999","unstructured":"R. France and B. Rumpe, editors. Proc. UML\u201999-Beyond the Standard, volume 1723 of LNCS. Springer-Verlag, 1999."},{"key":"9_CR16","unstructured":"M. Gogolla. Graph transformations on the UML metamodel. In J. D. P. Rolim et al., editors, Proc. ICALP Workshops 2000, Geneva, Switzerland, pages 359\u2013371. Carleton Scientific, 2000."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"M. Gro\u00dfe-Rhode, F. Parisi Presicce, and M. Simeoni. Refinement of graph transformation systems via rule expressions. In Ehrig et al. [8], pages 368\u2013382.","DOI":"10.1007\/978-3-540-46464-8_26"},{"issue":"6","key":"9_CR18","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1017\/S0960129500070110","volume":"6","author":"R. Heckel","year":"1996","unstructured":"R. Heckel, A. Corradini, H. Ehrig, and M. Lowe. Horizontal and vertical structuring of typed graph transformation systems. Math. Struc. in Comp. Science, 6(6):613\u2013648, 1996.","journal-title":"Math. Struc. in Comp. Science"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"R. Heckel, H. Ehrig, U. Wolter, and A. Corradini. Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Applied Categorical Structures, 9(1), January 2001.","DOI":"10.1023\/A:1008734426504"},{"key":"9_CR20","series-title":"Tech. Report","first-page":"63","volume-title":"UML\u2019000 Workshop on Dynamic Behavior in UML Models: Semantic Questions","author":"R. Heckel","year":"2000","unstructured":"R. Heckel and St. Sauer. Strengthening the semantics of UML collaboration diagrams. In G. Reggio, A. Knapp, B. Rumpe, B. Selic, and R. Wieringa, editors, UML\u2019000 Workshop on Dynamic Behavior in UML Models: Semantic Questions, pages 63\u201369. October 2000. Tech. Report no. 0006, Ludwig-Maximilians-University Munich, Germany."},{"key":"9_CR21","unstructured":"R. Heckel and A. Zundorf. How to specify a graph transformation approach: A meta model for fujaba. In H. Ehrig and J. Padberg, editors, Uniform Approaches to Graphical Process Specification Techniques, satellite workshop of ETAPS 2001, Genova, Italy, 2001. To appear."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"A. Knapp. A formal semantics of UML interactions. In France and Rumpe [15], pages 116\u2013130.","DOI":"10.1007\/3-540-46852-8_9"},{"key":"9_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1007\/BFb0055108","volume-title":"Proc. ICALP\u201998","author":"M. Merro","year":"1998","unstructured":"M. Merro and D. Sangiorgi. On asynchrony in name-passing calculi. In Proc. ICALP\u201998, volume 1443 of LNCS, pages 856\u2013867. Springer-Verlag, 1998."},{"key":"9_CR24","unstructured":"Object Management Group. UML specification version 1.3, June 1999. http:\/\/www.omg.org ."},{"key":"9_CR25","unstructured":"Object Management Group. UML specification version 1.4beta R1, November 2000. http:\/\/www.celigent.com\/omg\/umlrtf\/ ."},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"G. Overgaard. A formal approach to collaborations in the Unified Modeling Language. In France and Rumpe [15], pages 99\u2013115.","DOI":"10.1007\/3-540-46852-8_8"},{"issue":"1","key":"9_CR27","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt. Modeling concurrency with partial orders. Int. Journal. of Parallel Programming, 15(1):33\u201371, February 1986.","journal-title":"Int. Journal. of Parallel Programming"},{"key":"9_CR28","unstructured":"W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985."},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"A. Schurr, A.J. Winter, and A. Zundorf. The PROGRES approach: Language and environment. In Ehrig et al. [7], pages 487\u2013550.","DOI":"10.1142\/9789812815149_0013"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45314-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T21:51:51Z","timestamp":1588024311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45314-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418634","9783540453147"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-45314-8_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}