{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T01:10:02Z","timestamp":1744161002665,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336652"},{"type":"electronic","value":"9783642336669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33666-9_35","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T16:50:20Z","timestamp":1347987020000},"page":"546-561","source":"Crossref","is-referenced-by-count":18,"title":["Generation of Operational Transformation Rules from Examples of Model Transformations"],"prefix":"10.1007","author":[{"given":"Hajer","family":"Saada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xavier","family":"Dolques","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marianne","family":"Huchard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cl\u00e9mentine","family":"Nebut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houari","family":"Sahraoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Aumueller, D., Do, H.H., Massmann, S., Rahm, E.: Schema and ontology matching with coma++. In: \u00d6zcan, F. (ed.) SIGMOD Conference, pp. 906\u2013908. ACM (2005)","DOI":"10.1145\/1066157.1066283"},{"issue":"3","key":"35_CR2","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s10270-008-0092-1","volume":"8","author":"Z. Balogh","year":"2009","unstructured":"Balogh, Z., Varr\u00f3, D.: Model transformation by example using inductive logic programming. Software and Systems Modeling\u00a08(3), 347\u2013364 (2009)","journal-title":"Software and Systems Modeling"},{"key":"35_CR3","unstructured":"B\u00e9zivin, J., Dup\u00e9, G., Jouault, F., Pitette, G., Rougui, J.E.: First experiments with the atl model transformation language: Transforming xslt into xquery. In: 2nd OOPSLA Workshop on Generative Techniques in the Context of Model Driven Architecture (2003)"},{"key":"35_CR4","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: Proceedings of the 17th IEEE International Conference on Automated Software Engineering. IEEE Computer Society (2002)","DOI":"10.1109\/ASE.2002.1115027"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Daniele, L.M.: Towards a Rule-based Approach for Context-Aware Applications. Ph.D. thesis, University of Twente The Netherlands (May 2006)","DOI":"10.1007\/978-3-540-73530-4_5"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Del Fabro, M.D., Valduriez, P.: Semi-automatic model integration using matching transformation and weaving models. In: International Conference SAC 2007, pp. 963\u2013970. ACM (2007)","DOI":"10.1145\/1244002.1244215"},{"key":"35_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-642-21470-7_14","volume-title":"Modelling Foundations and Applications","author":"X. Dolques","year":"2011","unstructured":"Dolques, X., Dogui, A., Falleri, J.R., Huchard, M., Nebut, C., Pfister, F.: Easing Model Transformation Learning with Automatically Aligned Examples. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol.\u00a06698, pp. 189\u2013204. Springer, Heidelberg (2011)"},{"key":"35_CR8","unstructured":"Dolques, X., Huchard, M., Nebut, C.: From transformation traces to transformation rules: Assisting model driven engineering approach with formal concept analysis. In: Supplementary Proceedings of ICCS 2009, pp. 15\u201329 (2009)"},{"key":"35_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-87875-9_24","volume-title":"Model Driven Engineering Languages and Systems","author":"J.R. Falleri","year":"2008","unstructured":"Falleri, J.R., Huchard, M., Lafourcade, M., Nebut, C.: Metamodel Matching for Automatic Model Transformation Generation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 326\u2013340. Springer, Heidelberg (2008)"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Ganter, B., Wille, R.: Formal concept analysis - mathematical foundations. Springer (1999)","DOI":"10.1007\/978-3-642-59830-2"},{"key":"35_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-02408-5_5","volume-title":"Theory and Practice of Model Transformations","author":"I. Garc\u00eda-Magari\u00f1o","year":"2009","unstructured":"Garc\u00eda-Magari\u00f1o, I., G\u00f3mez-Sanz, J.J., Fuentes-Fern\u00e1ndez, R.: Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 52\u201366. Springer, Heidelberg (2009)"},{"issue":"1-4","key":"35_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10472-007-9056-3","volume":"49","author":"M. Huchard","year":"2007","unstructured":"Huchard, M., Hac\u00e8ne, M.R., Roume, C., Valtchev, P.: Relational concept discovery in structured datasets. Ann. Math. Artif. Intell.\u00a049(1-4), 39\u201376 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"35_CR13","unstructured":"Jess rule engine, http:\/\/herzberg.ca.sandia.gov\/jess"},{"key":"35_CR14","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":"35_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1007\/11880240_37","volume-title":"Model Driven Engineering Languages and Systems","author":"G. Kappel","year":"2006","unstructured":"Kappel, G., Kapsammer, E., Kargl, H., Kramler, G., Reiter, T., Retschitzegger, W., Schwinger, W., Wimmer, M.: Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 528\u2013542. Springer, Heidelberg (2006)"},{"key":"35_CR16","unstructured":"Kessentini, M.: Transformation by Example. Ph.D. thesis, University of Montreal (2010)"},{"key":"35_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-540-87875-9_12","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Kessentini","year":"2008","unstructured":"Kessentini, M., Sahraoui, H., Boukadoum, M.: Model Transformation as an Optimization Problem. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 159\u2013173. Springer, Heidelberg (2008)"},{"key":"35_CR18","unstructured":"Kessentini, M., Sahraoui, H., Boukadoum, M.: M\u00e9ta-mod\u00e9lisation de la transformation de mod\u00e9les par l\u2019exemple: approche m\u00e9ta-heuristiques. In: Carr\u00e9, B., Zendra, O. (eds.) LMO 2009: Langages et Mod\u00e9les \u00e1 Objets, Cepadu\u00e9s, Nancy, pp. 75\u201390 (March 2009)"},{"key":"35_CR19","doi-asserted-by":"crossref","unstructured":"Kessentini, M., Sahraoui, H., Boukadoum, M., Ben Omar, O.: Model transformation by example: a search-based approach. Software and Systems Modeling Journal (2010) (to appear)","DOI":"10.1007\/s10270-010-0175-7"},{"key":"35_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-13688-7_11","volume-title":"Theory and Practice of Model Transformations","author":"P. Langer","year":"2010","unstructured":"Langer, P., Wimmer, M., Kappel, G.: Model-to-Model Transformations By Demonstration. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol.\u00a06142, pp. 153\u2013167. Springer, Heidelberg (2010)"},{"key":"35_CR21","doi-asserted-by":"crossref","unstructured":"Lopes, D., Hammoudi, S., Abdelouahab, Z.: Schema matching in the context of model driven engineering: From theory to practice. In: Sobh, T., Elleithy, K. (eds.) Advances in Systems, Computing Sciences and Software Engineering, pp. 219\u2013227. Springer (2006)","DOI":"10.1007\/1-4020-5263-4_36"},{"key":"35_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/11431855_22","volume-title":"Advanced Information Systems Engineering","author":"D. Lopes","year":"2005","unstructured":"Lopes, D., Hammoudi, S., B\u00e9zivin, J., Jouault, F.: Generating Transformation Definition from Mapping Specification: Application to Web Service Platform. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 309\u2013325. Springer, Heidelberg (2005)"},{"key":"35_CR23","unstructured":"Melnik, S., Garcia-Molina, H., Rahm, E.: Similarity flooding: A versatile graph matching algorithm and its application to schema matching. In: ICDE, pp. 117\u2013128. IEEE Computer Society (2002)"},{"issue":"20","key":"35_CR24","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., De Raedt, L.: Inductive logic programming: Theory and methods. Journal of Logic Programming\u00a019(20), 629\u2013679 (1994)","journal-title":"Journal of Logic Programming"},{"key":"35_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P.-A. Muller","year":"2005","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"key":"35_CR26","unstructured":"Noy, N.F., Musen, M.A.: Anchor-prompt: Using non-local context for semantic matching. In: Proc. of the Workshop on Ontologies and Information Sharing at IJCAI 2001, Seattle (USA), pp. 63\u201370 (2001)"},{"key":"35_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1007\/978-3-642-04425-0_58","volume-title":"Model Driven Engineering Languages and Systems","author":"Y. Sun","year":"2009","unstructured":"Sun, Y., White, J., Gray, J.: Model Transformation by Demonstration. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 712\u2013726. Springer, Heidelberg (2009)"},{"key":"35_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/11880240_29","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Varr\u00f3","year":"2006","unstructured":"Varr\u00f3, D.: Model Transformation by Example. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 410\u2013424. Springer, Heidelberg (2006)"},{"key":"35_CR29","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Strommer, M., Kargl, H., Kramler, G.: Towards model transformation generation by-example. In: HICSS, p. 285 (2007)","DOI":"10.1109\/HICSS.2007.572"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33666-9_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T00:31:57Z","timestamp":1744158717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33666-9_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336652","9783642336669"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33666-9_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}