{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:45Z","timestamp":1762458585544},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411338"},{"type":"electronic","value":"9783540400110"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40011-7_23","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T07:00:22Z","timestamp":1194246022000},"page":"323-337","source":"Crossref","is-referenced-by-count":85,"title":["Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Engels","sequence":"first","affiliation":[]},{"given":"Jan Hendrik","family":"Hausmann","sequence":"additional","affiliation":[]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Sauer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,28]]},"reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6423(98)00023-9","volume":"34","author":"M. Andries","year":"1999","unstructured":"M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Sch\u00fcrr, and G. Taentzer. Graph transformation for specification and programming. Science of Computer Programming, 34:1\u201354, 1999.","journal-title":"Science of Computer Programming"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"R. Bardohl, G. Taentzer, M. Minas, and A. Sch\u00fcrr. Application of graph transformation to visual languages. In Ehrig et al. [6], pages 105\u2013180.","DOI":"10.1142\/9789812815149_0003"},{"key":"23_CR3","unstructured":"R. Breu and R. Grosu. Relating events, messages, and methods of multiple threaded objects. JOOP, pages 8\u201314, January 2000."},{"key":"23_CR4","unstructured":"A. Corradini, R. Heckel, and U. Montanari. Graphical operational semantics. In A. Corradini and R. Heckel, editors, Proc. ICALP2000 Workshop on Graph Transformation and Visual Modelling Techniques, Geneva, Switzerland, Geneva, July 2000. Carleton Scientific."},{"issue":"34","key":"23_CR5","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":"23_CR6","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":"23_CR7","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":"23_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/3-540-46852-8_34","volume-title":"UML collaboration diagrams and their transformation to Java","author":"G. Engels","year":"1999","unstructured":"G. Engels, R. H\u00fccking, St. Sauer, and A. Wagner. UML collaboration diagrams and their transformation to Java. In R. France and B. Rumpe, editors, Proc.UML\u201999 Int. Conference, Fort Collins, CO, USA, volume 1723 of LNCS, pages 473\u2013488. Springer Verlag, October 1999."},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"A. Evans and S. Kent. Core meta modelling semantics of UML: The pUML approach. In France and Rumpe [11], pages 140\u2013155.","DOI":"10.1007\/3-540-46852-8_11"},{"key":"23_CR10","series-title":"Lect Notes Comput Sci","first-page":"335","volume-title":"Story diagrams: A new graph transformation language based on UML and Java","author":"T. Fischer","year":"2000","unstructured":"T. Fischer, J. Niere, L. Torunski, and A. Z\u00fcndorf. Story diagrams: A new graph transformation language based on UML and Java. In 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. SpringerVerlag, 2000."},{"key":"23_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"336 337 337","DOI":"10.1007\/3-540-46852-8","volume-title":"Story diagrams: A new graph transformation language based on UML and Java","author":"R. France","year":"1999","unstructured":"R. France and B. Rumpe, editors. Proc. UML\u201999 \u2014 Beyond the Standard, volume 1723 of LNCS. Springer Verlag, 1999."},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"12. F. Gadducci and U. Montanari. The tile model. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 1999.","DOI":"10.7551\/mitpress\/5641.003.0010"},{"key":"23_CR13","unstructured":"M. Gogolla and F. Parisi-Presicce. State diagrams in UML \u2014 a formal semantics using graph transformation. In ICSE\u201998 Workshop on Precise Semantics of Modelling Techniques, 1998. Tech. Rep. TUM-I9803, TU M\u00fcnchen."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"M. Gogolla and M. Richters. Equivalence rules for UML class diagrams. In P.-A. Muller and J. Bezivin, editors, Proc. UML\u201998 Workshop, pages 86\u201397. Universite de Haute-Alsace, Mulhouse, 1998.","DOI":"10.1007\/978-3-540-48480-6_8"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"A. Knapp. A formal semantics of UML interactions. In France and Rumpe [11], pages 116\u2013130.","DOI":"10.1007\/3-540-46852-8_9"},{"key":"23_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/3-540-57787-4_15","volume-title":"Single pushout transformations of equationally defined graph structures with applications to actor systems","author":"M. Korff","year":"1994","unstructured":"M. Korff. Single pushout transformations of equationally defined graph structures with applications to actor systems. In Proc. Graph Grammar Workshop, Dagstuhl, 1993, volume 776 of LNCS, pages 234\u2013247. Springer Verlag, 1994."},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"J. Lillius and I. Paltor. Formalising UML state machines for model checking. In France and Rumpe [11], pages 430\u2013445.","DOI":"10.1007\/3-540-46852-8_31"},{"key":"23_CR18","unstructured":"Object Management Group. Action semantics for the UML, November 1998. http:\/\/www.omg.org\/pub\/docs\/ad\/98-11-01.pdf ."},{"key":"23_CR19","unstructured":"Object Management Group. Analysis and design platform task forceff white paper on the profile mechanism, April 1999. http:\/\/www.omg.org\/pub\/docs\/ad\/99-04-07.pdf ."},{"key":"23_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-46428-X_14","volume-title":"Fundamental Approaches to Software Engineering (FASE\u201900), Berlin, Germany","author":"G. \u00f6vergaard","year":"2000","unstructured":"G. \u00f6vergaard. Formal specification of object-oriented meta-modelling. In T. Maibaum, editor, Fundamental Approaches to Software Engineering (FASE\u201900), Berlin, Germany, number 1783 in LNCS, pages 193\u2013207. Springer Verlag, March\/April 2000."},{"key":"23_CR21","unstructured":"G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Computer Science Department, 1981."},{"key":"23_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-46428-X_10","volume-title":"Fundamental Approaches to Software Engineering (FASE\u201900), Berlin, Germany","author":"G. Reggio","year":"2000","unstructured":"G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. Analysing UML active classes and associated state machines \u2014 a lightweight formal approach. In T. Maibaum, editor, Fundamental Approaches to Software Engineering (FASE\u201900), Berlin, Germany, number 1783 in LNCS, pages 127\u2013146. Springer Verlag, March\/April 2000."},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 1997.","DOI":"10.1142\/9789812384720"}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2000 \u2014 The Unified Modeling Language"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40011-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T21:10:47Z","timestamp":1708290647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40011-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411338","9783540400110"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-40011-7_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}