{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T15:14:43Z","timestamp":1773501283136,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642194399","type":"print"},{"value":"9783642194405","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19440-5_19","type":"book-chapter","created":{"date-parts":[[2011,2,18]],"date-time":"2011-02-18T02:39:32Z","timestamp":1297996772000},"page":"296-305","source":"Crossref","is-referenced-by-count":14,"title":["DSLTrans: A Turing Incomplete Transformation Language"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Barroca","sequence":"first","affiliation":[]},{"given":"Levi","family":"L\u00facio","sequence":"additional","affiliation":[]},{"given":"Vasco","family":"Amaral","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"F\u00e9lix","sequence":"additional","affiliation":[]},{"given":"Vasco","family":"Sousa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-87875-9_4","volume-title":"Model Driven Engineering Languages and Systems","author":"E. Biermann","year":"2008","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Precise Semantics of EMF Model Transformations by Graph Transformation. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 53\u201367. Springer, Heidelberg (2008)"},{"key":"19_CR2","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"issue":"4","key":"19_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.entcs.2007.04.019","volume":"175","author":"T. Levendovszky","year":"2007","unstructured":"Levendovszky, T., Prange, U., Ehrig, H.: Termination criteria for dpo transformations with injective matches. Electronic Notes in Theoretical Computer Science\u00a0175(4), 87\u2013100 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-642-16145-2_10","volume-title":"Model Driven Engineering Languages and Systems","author":"L. L\u00facio","year":"2010","unstructured":"L\u00facio, L., Barroca, B., Amaral, V.: A technique for automatic validation of model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol.\u00a06394, pp. 136\u2013150. Springer, Heidelberg (2010)"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T. Mens","year":"2006","unstructured":"Mens, T., Van Gorp, P.: A taxonomy of model transformation. Electronic Notes in Theoretic Computer Science\u00a0152, 125\u2013142 (2006)","journal-title":"Electronic Notes in Theoretic Computer Science"},{"issue":"2","key":"19_CR7","doi-asserted-by":"crossref","first-page":"201","DOI":"10.3233\/FI-1998-33204","volume":"33","author":"D. Plumpf","year":"1998","unstructured":"Plumpf, D.: Termination of graph rewriting is undecidable. Fundamenta Informaticae\u00a033(2), 201\u2013209 (1998)","journal-title":"Fundamenta Informaticae"},{"key":"19_CR8","unstructured":"Solar Group. Dsltrans plug-in (2010), http:\/\/solar.di.fct.unl.pt\/twiki\/pub\/BATICCCS\/ReleaseFiles\/dsltrans.october,zip"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19440-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T17:38:57Z","timestamp":1592329137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19440-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642194399","9783642194405"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19440-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}