{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T05:06:46Z","timestamp":1736399206068,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330936"},{"type":"electronic","value":"9783540330943"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11693017_20","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T13:39:54Z","timestamp":1143553194000},"page":"262-277","source":"Crossref","is-referenced-by-count":18,"title":["Algebraic Specification of a Model Transformation Engine"],"prefix":"10.1007","author":[{"given":"Artur","family":"Boronat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 \u00c1.","family":"Cars\u00ed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isidro","family":"Ramos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"Model Driven Architecture: Applying MDA to Enterprise Computing","author":"D.S. Frankel","year":"2003","unstructured":"Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Computing, January 2003. John Wiley & Sons OMG Press, Chichester (2003)"},{"key":"20_CR2","volume-title":"Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools","author":"J. Greenfield","year":"2004","unstructured":"Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. John Wiley & Sons, Chichester (2004)"},{"key":"20_CR3","unstructured":"OMG, MOF 2.0 QVT final adopted specification (ptc\/05-11-01), (November 2005)"},{"issue":"5","key":"20_CR4","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"S. Sendall","year":"2003","unstructured":"Sendall, S., Kozaczynski, W.: Model Transformation: The Heart and Soul of Model-Driven Software Development. IEEE Software\u00a020(5), 42\u201345 (2003)","journal-title":"IEEE Software"},{"key":"20_CR5","unstructured":"Bernstein, P.: Applying Model Management to Classical Meta Data Problems. In: CIDR 2003, pp. 209\u2013220 (2003)"},{"key":"20_CR6","unstructured":"The MOMENT web site: http:\/\/moment.dsic.upv.es:8080"},{"issue":"2","key":"20_CR7","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theoretical Computer Science\u00a0285(2), 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"key":"20_CR8","volume-title":"9th European Conference on Software Maintenance and Reengineering","author":"A. Boronat","year":"2005","unstructured":"Boronat, A., Cars\u00ed, J.\u00c1., Ramos, I.: Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. In: 9th European Conference on Software Maintenance and Reengineering, Manchester, UK, IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"20_CR9","unstructured":"Kurtev, I., B\u00e9zivin, J., Aksit, M.: Technological Spaces: An Initial Appraisal. In: Int. Federated Conf (DOA, ODBASE, CoopIS), Industrial track, Irvine (2002)"},{"key":"20_CR10","unstructured":"OMG, Meta Object Facility 1.4, http:\/\/www.omg.org\/technology\/documents\/formal\/mof.htm"},{"key":"20_CR11","unstructured":"EMF web site: http:\/\/www.eclipse.org\/emf\/"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"A. Boronat","year":"2005","unstructured":"Boronat, A., Cars\u00ed, J.\u00c1., Ramos, I.: Automatic Support for Traceability in a Generic Model Management Framework. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, Springer, Heidelberg (2005)"},{"key":"20_CR13","unstructured":"The MTF web site: http:\/\/www.alphaworks.ibm.com\/tech\/mtf"},{"key":"20_CR14","unstructured":"B\u00e9zivin, J., Dup\u00e9, G., Jouault, F., Pitette, G., Rougui, E.J.: First experiments with the ATL model transformation language: Transforming XSLT into XQuery. In: OOPSLA 2003 Workshop, Anaheim, California (2003)"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Lawley, M., Steel, J.: Practical declarative model transformation with tefkat. In: Model Transformations In Practice Workshop, Montego Bay, Jamaica (October 2005)","DOI":"10.1007\/11663430_15"},{"key":"20_CR16","unstructured":"Peltier, M., B\u00e9zevin, J., Guillaume, G.: MTRANS: A general framework, based on XSLT for model transformations. In: WTUML 2001, Proceedings of the workshop on Transformations in UML, Genova, Italy (2001)"},{"key":"20_CR17","unstructured":"The UMT web site: umt-qvt.sourceforge.net\/"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/3-540-45832-8_9","volume-title":"Graph Transformation","author":"A. Gerber","year":"2002","unstructured":"Gerber, A., Lawley, M., Raymond, K., Steel, J., Wood, A.: Transformation: The Missing Link of MDA. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 90\u2013105. Springer, Heidelberg (2002)"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 18\u201361. Springer, Heidelberg (1998)"},{"key":"20_CR20","unstructured":"Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: OOPSLA 2003 Workshop on Generative Techniques in the Context of Model-Driven Architecture (2003)"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Mens, T., Van Gorp, P., Varro, F., Karsai, G.: Applying a model transformation taxonomy to graph transformation technology. In: Proc. Int\u2019l Workshop on Graph and Model Transformation (GraMoT 2005) (September 2005)","DOI":"10.1016\/j.entcs.2005.10.022"},{"key":"20_CR22","first-page":"303","volume":"6","author":"S. Burmester","year":"2004","unstructured":"Burmester, S., Giese, H., Niere, J., Tichy, M., Wadsack, J., Wagner, R., Wendehals, L., Zuendorf, A.: Tool integration at the meta-model level: The fujaba approach. Int\u2019l Journal on Software Tools for Technology Transfer\u00a06, 303\u2013318 (2004)","journal-title":"Int\u2019l Journal on Software Tools for Technology Transfer"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Csert\u00e1n, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varr\u00f3, D.: VIATRA - visual automated transformations for formal verification and validation of UML models. In: Proc. 17th Int\u2019l Conf. Automated Software Engineering, pp. 267\u2013270 (2002)","DOI":"10.1109\/ASE.2002.1115027"},{"key":"20_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45832-8_14","volume-title":"Graph Transformation","author":"R. Heckel","year":"2002","unstructured":"Heckel, R., K\u00fcster, J., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 161\u2013176. Springer, Heidelberg (2002)"},{"key":"20_CR25","unstructured":"Algebraic specification of the model transformation that is used as example in the paper: http:\/\/moment.dsic.upv.es\/publications\/fase06\/example.html"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11693017_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T04:50:35Z","timestamp":1736311835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11693017_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330936","9783540330943"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11693017_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}