{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:13:30Z","timestamp":1759637610520},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_4","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"53-67","source":"Crossref","is-referenced-by-count":38,"title":["Precise Semantics of EMF Model Transformations by Graph Transformation"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Biermann","sequence":"first","affiliation":[]},{"given":"Claudia","family":"Ermel","sequence":"additional","affiliation":[]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"AGG Homepage, http:\/\/tfs.cs.tu-berlin.de\/agg"},{"key":"4_CR2","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: Proc. 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova, Italy (October 2006)","DOI":"10.1007\/11880240_30"},{"key":"4_CR3","unstructured":"Boronat, A.: MOMENT: A Formal Framework for Model Management. PhD thesis, Universtat Polit\u00e8cnica de Val\u00e8ncia (2007)"},{"key":"4_CR4","unstructured":"Eclipse Consortium. Eclipse Modeling Framework (EMF) \u2013 Version 2.4 (2008), http:\/\/www.eclipse.org\/emf"},{"key":"4_CR5","volume-title":"EATCS Monographs in Theoretical Computer Science","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)"},{"key":"4_CR6","unstructured":"Eclipse model development tools (2007), http:\/\/www.eclipse.org\/modeling\/mdt"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Proc. Workshop Model Transformations in Practice (at MoDELS 2005), Montego Bay, Jamaica (2005)","DOI":"10.1007\/11663430_14"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Lawley, M., Steel, J.: Practical Declarative Model Transformation With Tefkat. In: Proc. Workshop Model Transformation in Practice (at MoDELS 2005) (2005)","DOI":"10.1007\/11663430_15"},{"issue":"3","key":"4_CR9","doi-asserted-by":"publisher","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. Software and System Modeling\u00a06(3), 269\u2013285 (2007)","journal-title":"Software and System Modeling"},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","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. Transactions on Software Engineering\u00a030(2), 126\u2013139 (2004)","journal-title":"Transactions on Software Engineering"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","first-page":"64","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Rensink","year":"2005","unstructured":"Rensink, A., Taentzer, G.: Ensuring structural constraints in graph-based models with type inheritance. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 64\u201379. Springer, Heidelberg (2005)"},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","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\u00a068(3), 214\u2013234 (2007)","journal-title":"Sci. Comput. Program"},{"key":"4_CR13","unstructured":"MOF 2.0 \/ XMI Mapping Specification (2008), http:\/\/www.omg.org\/technology\/documents\/formal\/xmi.htm"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:51:01Z","timestamp":1619524261000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}