{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T18:00:31Z","timestamp":1769968831558,"version":"3.49.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,3,25]],"date-time":"2011-03-25T00:00:00Z","timestamp":1301011200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1007\/s10270-011-0199-7","type":"journal-article","created":{"date-parts":[[2011,3,24]],"date-time":"2011-03-24T06:17:00Z","timestamp":1300947420000},"page":"227-250","source":"Crossref","is-referenced-by-count":55,"title":["Formal foundation of consistent EMF model transformations by algebraic graph transformation"],"prefix":"10.1007","volume":"11","author":[{"given":"Enrico","family":"Biermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Ermel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,3,25]]},"reference":[{"issue":"2","key":"199_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D. Schmidt","year":"2006","unstructured":"Schmidt D.: Model-driven engineering. IEEE Comput. 39(2), 25\u201331 (2006)","journal-title":"IEEE Comput."},{"issue":"2","key":"199_CR2","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T. Mens","year":"2004","unstructured":"Mens T., Tourw\u00e9 T.: A survey of software refactoring. Trans. Softw. Eng. 30(2), 126\u2013139 (2004)","journal-title":"Trans. Softw. Eng."},{"key":"199_CR3","unstructured":"Eclipse Consortium: Eclipse Modeling Framework (EMF)\u2014Version 2.4. (2008) http:\/\/www.eclipse.org\/emf"},{"key":"199_CR4","unstructured":"Object Management Group: Meta Object Facility (MOF) Core Specification Version 2.0. http:\/\/www.omg.org\/technology\/documents\/modeling_spec_catalog.htm#MOF (2008)"},{"key":"199_CR5","unstructured":"Object Management Group: MOF 2.0 \/ XMI Mapping Specification (2008). http:\/\/www.omg.org\/technology\/documents\/formal\/xmi.htm"},{"key":"199_CR6","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: MoDELS Satellite Events. LNCS, vol. 3844, pp 128\u2013138. Springer, Berlin (2005)","DOI":"10.1007\/11663430_14"},{"issue":"9","key":"199_CR7","doi-asserted-by":"crossref","first-page":"53","DOI":"10.5381\/jot.2007.6.9.a3","volume":"6","author":"D. Kolovos","year":"2007","unstructured":"Kolovos D., Paige R., Polack F., Rose L.: Update transformations in the small with Epsilon wizard language. Object Technol. 6(9), 53\u201369 (2007)","journal-title":"Object Technol."},{"key":"199_CR8","doi-asserted-by":"crossref","unstructured":"Lawley, M., Steel, J.: Practical declarative model transformation with Tefkat. In: MoDELS Satellite Events. LNCS, vol. 3844, pp. 139\u2013150. Springer, Berlin (2005)","DOI":"10.1007\/11663430_15"},{"issue":"3","key":"199_CR9","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3 D., Balogh A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214\u2013234 (2007)","journal-title":"Sci. Comput. Program."},{"key":"199_CR10","unstructured":"Boronat, A.: MOMENT: A formal framework for model management. PhD thesis, Universitat Polit\u00e8cnica de Val\u00e8ncia (2007)"},{"key":"199_CR11","unstructured":"Object Management Group: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. Version 1.0 (2008)"},{"key":"199_CR12","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. EATCS Monogr. Theor. Comp. Sci. (2006)"},{"key":"199_CR13","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude\u2014A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic, LNCS, vol. 4350. Springer, Berlin (2007)"},{"key":"199_CR14","unstructured":"TFS-Group, TU Berlin: AGG (2009). http:\/\/tfs.cs.tu-berlin.de\/agg"},{"key":"199_CR15","doi-asserted-by":"crossref","unstructured":"Biermann, E., Ehrig, H., Ermel, C., Golas, U., Taentzer, G.: Parallel independence of amalgamated graph transformations applied to model transformation. In: Graph Transformations and Model-Driven Engineering. Essays Dedicated to Manfred Nagl, LNCS, vol. 5765. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-17322-6_7"},{"key":"199_CR16","unstructured":"Eclipse Consortium: Eclipse Model Development Tools (2007). http:\/\/www.eclipse.org\/modeling\/mdt"},{"issue":"3","key":"199_CR17","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s10270-006-0044-6","volume":"6","author":"T. Mens","year":"2007","unstructured":"Mens T., Taentzer G., Runge O.: Analysing refactoring dependencies using graph transformation. Softw. Syst. Model. 6(3), 269\u2013285 (2007)","journal-title":"Softw. Syst. Model."},{"key":"199_CR18","doi-asserted-by":"crossref","unstructured":"Rensink, A., Taentzer, G.: Ensuring structural constraints in graph-based models with type inheritance. In: Proceedings of Fundamental Approaches to Software Engineering (FASE\u201905). LNCS, vol. 3442, pp. 64\u201379, Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-31984-9_6"},{"key":"199_CR19","doi-asserted-by":"crossref","unstructured":"Taentzer, G.: Parallel and distributed graph transformation: formal description and application to communication-based systems. PhD thesis, TU Berlin, Shaker Verlag, Berlin (1996)","DOI":"10.1007\/3-540-61228-9_95"},{"key":"199_CR20","doi-asserted-by":"crossref","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced concepts and tools for in-place EMF model transformations. In: Proceedings of the ACM\/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS\u201910) (2010)","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"199_CR21","unstructured":"Biermann, E., Ermel, C., Schmidt, J., Warning, A.: Visual modeling of controlled emf model transformation using Henshin. In: Proceedings of the 4th International Workshop on Graph-Based Tools (GraBaTs\u201910) (2010) (to appear)"},{"key":"199_CR22","doi-asserted-by":"crossref","unstructured":"Biermann, E., Ehrig, K., K\u00f6hler, C., Kuhns, G., Taentzer, G., Weiss, E.: Graphical definition of in-place transformations in the eclipse modeling framework. In: Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS\u201906). LNCS, vol. 4199, pp. 425\u2013439. Springer, Berlin (2006)","DOI":"10.1007\/11880240_30"},{"key":"199_CR23","unstructured":"Eclipse Consortium: Eclipse Modeling Framework Technology (2009). http:\/\/www.eclipse.org\/modeling\/emft"},{"key":"199_CR24","doi-asserted-by":"crossref","unstructured":"Taentzer, G.: AGG: a graph transformation environment for modeling and validation of software. In: Application of Graph Transformations with Industrial Relevance. LNCS, vol. 3062, pp. 446\u2013456. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-25959-6_35"},{"key":"199_CR25","first-page":"17","volume":"109","author":"J. Lara de","year":"2004","unstructured":"de Lara J., Ermel C., Taentzer G., Ehrig K.: Parallel graph transformation for model simulation applied to timed transition Petri nets. ENTCS 109, 17\u201329 (2004)","journal-title":"ENTCS"},{"key":"199_CR26","unstructured":"Rensink, A., Kuperus, J.H.: Repotting the geraniums: on nested graph transformation rules. ECEASST 18 (2009)"},{"key":"199_CR27","unstructured":"Balasubramanian, D., Narayanan, A., Neema, S., Shi, F., Thibodeaux, R., Karsai, G.: A subgraph operator for graph transformation languages. ECEASST 6 (2007)"},{"key":"199_CR28","doi-asserted-by":"crossref","unstructured":"Gr\u00f8nmo, R., Krogdahl, S., M\u00f8ller-Pedersen, B.: A collection operator for graph transformation. In: Proceedings International Conference on Theory and Practice of Model Transformations (ICMT\u201909). LNCS, vol. 5563, pp. 67\u201382. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02408-5_6"},{"key":"199_CR29","doi-asserted-by":"crossref","unstructured":"Hoffmann, B., Janssens, D., van Eetvelde, N.: Cloning and expanding graph transformation rules for refactoring. In: International Workshop on Graph and Model Transformation. ENTCS, vol. 152, pp. 53\u201367. Elsevier, Amsterdam (2006)","DOI":"10.1016\/j.entcs.2006.01.014"},{"key":"199_CR30","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Winter, A., Z\u00fcndorf, A.: The PROGRES-approach: language and environment. In: Handbook of Graph Grammars and Computing by Graph Transformation, Applications, Languages and Tools, vol. 2, pp. 487\u2013550. World Scientific (1999)","DOI":"10.1142\/9789812815149_0013"},{"key":"199_CR31","doi-asserted-by":"crossref","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: a new graph rewrite language based on the Unified Modeling Language. In: Proceedings of International Workshop on Theory and Application of Graph Transformation. LNCS, vol. 1764, pp. 296\u2013309. Springer, Berlin (2000)","DOI":"10.1007\/978-3-540-46464-8_21"},{"key":"199_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0960129508007391","volume":"19","author":"A. Habel","year":"2009","unstructured":"Habel A., Pennemann K.H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19, 1\u201352 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"key":"199_CR33","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Lifting parallel graph transformation concepts to model transformation based on the Eclipse modeling framework. ECEASST 26 (2010)"},{"key":"199_CR34","unstructured":"Kuske, S.: Transformation units\u2014a structuring principle for graph transformation systems. PhD thesis, University of Bremen (2000)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0199-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-011-0199-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0199-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,20]],"date-time":"2021-11-20T16:47:05Z","timestamp":1637426825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-011-0199-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,25]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["199"],"URL":"https:\/\/doi.org\/10.1007\/s10270-011-0199-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,25]]}}}