{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:53:56Z","timestamp":1742975636726,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390128"},{"type":"electronic","value":"9783642390135"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39013-5_5","type":"book-chapter","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T12:30:46Z","timestamp":1372163446000},"page":"54-69","source":"Crossref","is-referenced-by-count":6,"title":["Transformation as Search"],"prefix":"10.1007","author":[{"given":"Mathias","family":"Kleiner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcos","family":"Didonet Del Fabro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davi","family":"De Queiroz Santos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Medini (2012), \n                      http:\/\/projects.ikv.de\/qvt"},{"issue":"4","key":"5_CR2","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s10270-003-0032-z","volume":"2","author":"D.H. Akehurst","year":"2003","unstructured":"Akehurst, D.H., Kent, S., Patrascoiu, O.: A relational approach to defining and implementing transformations between metamodels. Software and System Modeling\u00a02(4), 215\u2013239 (2003)","journal-title":"Software and System Modeling"},{"key":"5_CR3","unstructured":"ATL Class to Relational transformation, eclipse.org (March 2005)"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1402947.1402953","volume-title":"Proceedings of the Third International Workshop on Graph and Model Transformations, GRaMoT 2008","author":"G. Bergmann","year":"2008","unstructured":"Bergmann, G., \u00d6kr\u00f6s, A., R\u00e1th, I., Varr\u00f3, D., Varr\u00f3, G.: Incremental pattern matching in the viatra model transformation system. In: Proceedings of the Third International Workshop on Graph and Model Transformations, GRaMoT 2008, pp. 25\u201332. ACM, New York (2008)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Umltocsp: a tool for the formal verification of uml\/ocl models using constraint programming. In: Proceedings of the International Conference on Automated Software Engineering, pp. 547\u2013548 (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-02408-5_19","volume-title":"Theory and Practice of Model Transformations","author":"K. Czarnecki","year":"2009","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional transformations: A cross-discipline perspective. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 260\u2013283. Springer, Heidelberg (2009)"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J.\u00a045, 621\u2013645 (2006)","journal-title":"IBM Syst. J."},{"key":"5_CR8","unstructured":"EMF (2009), \n                      http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"5_CR9","unstructured":"Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Taentzer, G., Varr\u00f3, D., Varr\u00f3-Gyapay, S.: Model transformation by graph transformation: A comparative study. In: MoDELS Satellite Events (2005)"},{"key":"5_CR10","unstructured":"Didonet Del Fabro, M.: Metadata management using model weaving and model transformations. PhD thesis, University of Nantes (2007)"},{"key":"5_CR11","unstructured":"Fujaba Tool Suite (2011), \n                      http:\/\/www.fujaba.de\/"},{"issue":"1-3","key":"5_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M. Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: Use: A uml-based specification environment for validating uml and ocl. Sci. Comput. Program.\u00a069(1-3), 27\u201334 (2007)","journal-title":"Sci. Comput. Program."},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/11880240_23","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Hearnden","year":"2006","unstructured":"Hearnden, D., Lawley, M., Raymond, K.: Incremental model transformation for the evolution of model-driven systems. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 321\u2013335. Springer, Heidelberg (2006)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-642-02408-5_8","volume-title":"Theory and Practice of Model Transformations","author":"T. Hettel","year":"2009","unstructured":"Hettel, T., Lawley, M., Raymond, K.: Towards model round-trip engineering: An abductive approach. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 100\u2013115. Springer, Heidelberg (2009)"},{"key":"5_CR15","unstructured":"OCL+ usecase (2010), \n                      http:\/\/www.lsis.org\/kleinerm\/MS\/OCLP_mm.html"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Jackson, D.: Automating first-order relational logic. In: FSE, pp. 130\u2013139 (2000)","DOI":"10.1145\/357474.355063"},{"issue":"20","key":"5_CR17","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. J. Log. Program.\u00a019(20), 503\u2013581 (1994)","journal-title":"J. Log. Program."},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/11768869_14","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., B\u00e9zivin, J.: KM3: A DSL for metamodel specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 171\u2013185. Springer, Heidelberg (2006)"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Kessentini, M., Sahraoui, H.A., Boukadoum, M.: Model transformation as an optimization problem. In: Proceedings of the MoDELS Conference, pp. 159\u2013173 (2008)","DOI":"10.1007\/978-3-540-87875-9_12"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-13595-8_15","volume-title":"Modelling Foundations and Applications","author":"M. Kleiner","year":"2010","unstructured":"Kleiner, M., Didonet Del Fabro, M., Albert, P.: Model search: Formalizing and automating constraint solving in MDE platforms. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 173\u2013188. Springer, Heidelberg (2010)"},{"issue":"4","key":"5_CR22","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"T. K\u00fchne","year":"2006","unstructured":"K\u00fchne, T.: Matters of (meta-)modeling. Software and System Modeling\u00a05(4), 369\u2013385 (2006)","journal-title":"Software and System Modeling"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/11663430_15","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"M. Lawley","year":"2006","unstructured":"Lawley, M., Steel, J.: Practical declarative model transformation with tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 139\u2013150. Springer, Heidelberg (2006)"},{"key":"5_CR24","unstructured":"Object Management Group. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation (QVT) Specification, version 1.1 (2011)"},{"key":"5_CR25","unstructured":"OCL 2.0 specification (2008), \n                      http:\/\/www.omg.org\/spec\/OCL\/2.0\/"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-02408-5_10","volume-title":"Theory and Practice of Model Transformations","author":"A. Petter","year":"2009","unstructured":"Petter, A., Behring, A., M\u00fchlh\u00e4user, M.: Solving constraints in model transformations. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 132\u2013147. Springer, Heidelberg (2009)"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/978-3-540-87405-8_28","volume-title":"Graph Transformations","author":"A. Sch\u00fcrr","year":"2008","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 years of triple graph grammars. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 411\u2013425. Springer, Heidelberg (2008)"},{"key":"5_CR28","unstructured":"Class-Relational usecase (2013), \n                      http:\/\/www.lsis.org\/kleinerm\/TAS\/TAS-CLAR-usecase.html"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-12261-3_13","volume-title":"Models in Software Engineering","author":"T. Vogel","year":"2010","unstructured":"Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B.: Incremental model synchronization for efficient run-time monitoring. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol.\u00a06002, pp. 124\u2013139. Springer, Heidelberg (2010)"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"White, J., Schmidt, D.C., Benavides, D., Trinidad, P., Ruiz-Cortez, A.: Automated diagnosis of product-line configuration errors in feature models. In: Proceedings of the Software Product Lines Conference (2008)","DOI":"10.1109\/SPLC.2008.16"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39013-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,13]],"date-time":"2023-02-13T21:38:40Z","timestamp":1676324320000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39013-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390128","9783642390135"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39013-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}