{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:33:59Z","timestamp":1742913239112,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540690955"},{"type":"electronic","value":"9783540691006"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69100-6_7","type":"book-chapter","created":{"date-parts":[[2008,6,5]],"date-time":"2008-06-05T09:27:49Z","timestamp":1212658069000},"page":"94-109","source":"Crossref","is-referenced-by-count":13,"title":["From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Engels","sequence":"first","affiliation":[]},{"given":"Anneke","family":"Kleppe","sequence":"additional","affiliation":[]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[]},{"given":"Maria","family":"Semenyak","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Soltenborn","sequence":"additional","affiliation":[]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/3-540-45800-X_20","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"D.H. Akehurst","year":"2002","unstructured":"Akehurst, D.H., Kent, S.: A Relational Approach to Defining Transformations in a Metamodel. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 243\u2013258. Springer, Heidelberg (2002)"},{"key":"7_CR2","unstructured":"Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: Workshop on Generative Techniques in the Context of Model-Driven Architecture (2003)"},{"key":"7_CR3","unstructured":"Object Management Group: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification (2007), \n                        http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2007-07-07"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-69489-2_24","volume-title":"Models in Software Engineering","author":"J.M. K\u00fcster","year":"2007","unstructured":"K\u00fcster, J.M., Abd-El-Razik, M.: Validation of Model Transformations - First Experiences Using a White Box Approach. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 193\u2013204. Springer, Heidelberg (2007)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-3-540-31984-9_5","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2005","unstructured":"Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varr\u00f3, D., Varr\u00f3-Gyapay, S.: Termination Criteria for Model Transformation. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 49\u201363. Springer, Heidelberg (2005)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/11841883_6","volume-title":"Graph Transformations","author":"L. Lambers","year":"2006","unstructured":"Lambers, L., Ehrig, H., Orejas, F.: Conflict Detection for Graph Transformation with Negative Application Conditions. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 61\u201376. Springer, Heidelberg (2006)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-45832-8_22","volume-title":"Graph Transformation","author":"T. Mens","year":"2002","unstructured":"Mens, T., Demeyer, S., Janssens, D.: Formalising Behaviour Preserving Program Transformations. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 286\u2013301. Springer, Heidelberg (2002)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-540-72952-5_15","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"T. Ruhroth","year":"2007","unstructured":"Ruhroth, T., Wehrheim, H.: Refactoring Object-Oriented Specifications with Data and Processes. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 236\u2013251. Springer, Heidelberg (2007)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/11768869_15","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"H. Kastenberg","year":"2006","unstructured":"Kastenberg, H., Kleppe, A., Rensink, A.: Defining Object-Oriented Execution Semantics Using Graph Transformations. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 186\u2013201. Springer, Heidelberg (2006)"},{"key":"7_CR10","unstructured":"Object Management Group: Business Process Modeling Notation V1.1 (2008), \n                        http:\/\/www.omg.org\/spec\/BPMN\/1.1\/PDF"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE Simulator: A Tool for State Space Generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"key":"7_CR12","unstructured":"Hausmann, J.H.: Dynamic Meta Modeling. PhD thesis, University of Paderborn (2005)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Monterey Workshop","author":"G. Karsai","year":"2006","unstructured":"Karsai, G., Narayanan, A.: On the Correctness of Model Transformations in the Development of Embedded Systems. In: Kordon, F., Sokolsky, O. (eds.) Monterey Workshop. LNCS, vol.\u00a04888, pp. 1\u201318. Springer, Heidelberg (2006)"},{"issue":"3","key":"7_CR14","first-page":"191","volume":"9","author":"S. Glesner","year":"2003","unstructured":"Glesner, S.: Using Program Checking to Ensure the Correctness of Compiler Implementations. J. UCS\u00a09(3), 191\u2013222 (2003)","journal-title":"J. UCS"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11561347_3","volume-title":"Generative Programming and Component Engineering","author":"E. Denney","year":"2005","unstructured":"Denney, E., Fischer, B.: Certifiable Program Generation. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol.\u00a03676, pp. 17\u201328. Springer, Heidelberg (2005)"},{"issue":"8","key":"7_CR16","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1145\/355609.362337","volume":"16","author":"W.W. Peterson","year":"1973","unstructured":"Peterson, W.W., Kasami, T., Tokura, N.: On the Capabilities of While, Repeat, and Exit Statements. Commun. ACM\u00a016(8), 503\u2013512 (1973)","journal-title":"Commun. ACM"},{"key":"7_CR17","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1145\/1287624.1287664","volume-title":"ESEC\/SIGSOFT FSE","author":"F. Klar","year":"2007","unstructured":"Klar, F., K\u00f6nigs, A., Sch\u00fcrr, A.: Model Transformation in the Large. In: Crnkovic, I., Bertolino, A. (eds.) ESEC\/SIGSOFT FSE, pp. 285\u2013294. ACM, New York (2007)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"7_CR20","volume-title":"Handbook of Process Algebra","author":"J.A. Bergstra","year":"2001","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A.: Handbook of Process Algebra. Elsevier, Amsterdam (2001)"},{"key":"7_CR21","unstructured":"van Glabbeek, R.J.: The linear time \u2013 branching time spectrum I: The semantics of concrete, sequential processes. In: [20], pp. 3\u2013100"},{"issue":"1","key":"7_CR22","doi-asserted-by":"crossref","first-page":"27","DOI":"10.5381\/jot.2004.3.1.c3","volume":"3","author":"C. Bock","year":"2004","unstructured":"Bock, C.: UML 2 Activity and Action Models, Part 4: Object Nodes. Journal of Object Technology\u00a03(1), 27\u201341 (2004)","journal-title":"Journal of Object Technology"},{"key":"7_CR23","unstructured":"Eclipse Foundation, \n                        http:\/\/www.eclipse.org"}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture \u2013 Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69100-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T05:04:57Z","timestamp":1715058297000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-69100-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540690955","9783540691006"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69100-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}