{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:18:36Z","timestamp":1771697916809,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,2]],"date-time":"2012-10-02T00:00:00Z","timestamp":1349136000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,2]]},"DOI":"10.1145\/2432497.2432499","type":"proceedings-article","created":{"date-parts":[[2013,1,29]],"date-time":"2013-01-29T16:21:18Z","timestamp":1359476478000},"page":"3-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Towards a model transformation intent catalog"],"prefix":"10.1145","author":[{"given":"Moussa","family":"Amrani","sequence":"first","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Dingel","sequence":"additional","affiliation":[{"name":"Queen's University Kingston ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[{"name":"Hasso Plattner Institute, Postdam, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Levi","family":"L\u00facio","sequence":"additional","affiliation":[{"name":"McGill University, Montreal, QC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rick","family":"Salay","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gehan","family":"Selim","sequence":"additional","affiliation":[{"name":"Queen's University, Kingston, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugene","family":"Syriani","sequence":"additional","affiliation":[{"name":"University of Alabama, Tuscaloosa, AL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[{"name":"University of Malaga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.197"},{"key":"e_1_3_2_1_2_1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma E.","year":"1994","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides , Design Patterns: Elements of Reusable Object-Oriented Software . Addison Wesley , 1994 . E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, 1994."},{"key":"e_1_3_2_1_3_1","volume-title":"McGill University","author":"Syriani E.","year":"2011","unstructured":"E. Syriani , \" A Multi-Paradigm Foundation for Model Transformation Language Engineering ,\" Ph.D. Thesis , McGill University , 2011 . E. Syriani, \"A Multi-Paradigm Foundation for Model Transformation Language Engineering,\" Ph.D. Thesis, McGill University, 2011."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"key":"e_1_3_2_1_6_1","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"Kleppe A. G.","year":"2003","unstructured":"A. G. Kleppe , J. Warmer , and W. Bast , MDA Explained: The Model Driven Architecture: Practice and Promise . Addison-Wesley , 2003 . A. G. Kleppe, J. Warmer, and W. Bast, MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley, 2003."},{"key":"e_1_3_2_1_7_1","volume-title":"Workshop on Multi-Paradigm Modeling: Concepts and Tools,\" in Models in Software Engineering","volume":"4364","author":"Giese Holger","year":"2007","unstructured":"Holger Giese , Tihamer Levendovszky , and Hans Vangheluwe , \" Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools,\" in Models in Software Engineering , vol. 4364 , 2007 . Holger Giese, Tihamer Levendovszky, and Hans Vangheluwe, \"Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools,\" in Models in Software Engineering, vol. 4364, 2007."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/645872.668867"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.038"},{"key":"e_1_3_2_1_10_1","first-page":"99","article-title":"Automatic Migration and Wrapping of Database Applications - A Schema Transformation Approach","volume":"1782","author":"Mc Brien P.","year":"1999","unstructured":"P. Mc Brien and A. Poulovassi , \" Automatic Migration and Wrapping of Database Applications - A Schema Transformation Approach ,\" in Conceptual Modeling ER , vol. 1782 , 1999 , pp. 99 -- 114 . P. Mc Brien and A. Poulovassi, \"Automatic Migration and Wrapping of Database Applications - A Schema Transformation Approach,\" in Conceptual Modeling ER, vol. 1782, 1999, pp. 99--114.","journal-title":"Conceptual Modeling ER"},{"key":"e_1_3_2_1_11_1","volume-title":"dissertation","author":"Griswold W. G.","year":"1991","unstructured":"W. G. Griswold , \" Program Restructuring as an Aid to Software Maintenance ,\" Ph. D. dissertation , University of Washington , August 1991 . W. G. Griswold, \"Program Restructuring as an Aid to Software Maintenance,\" Ph.D. dissertation, University of Washington, August 1991."},{"key":"e_1_3_2_1_12_1","first-page":"199","volume-title":"Generic and Domain-Specific Model Refactoring Using a Model Transformation Engine,\" in Research and Practice in Software Engineering (Vol. II)","author":"Zhang J.","year":"2005","unstructured":"J. Zhang , Y. Lin , and J. Gray , \" Generic and Domain-Specific Model Refactoring Using a Model Transformation Engine,\" in Research and Practice in Software Engineering (Vol. II) , 2005 , pp. 199 -- 218 . J. Zhang, Y. Lin, and J. Gray, \"Generic and Domain-Specific Model Refactoring Using a Model Transformation Engine,\" in Research and Practice in Software Engineering (Vol. II), 2005, pp. 199--218."},{"key":"e_1_3_2_1_13_1","volume-title":"Software Engineering","author":"Sommerville I.","unstructured":"I. Sommerville , Software Engineering . Addison-Wesley . I. Sommerville, Software Engineering. Addison-Wesley."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0018-8"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.072"},{"key":"e_1_3_2_1_17_1","volume-title":"Path-Length Analysis of Object-Oriented Programs,\" in Eaai","author":"Spoto F.","year":"2006","unstructured":"F. Spoto , P. M. Hill , and E. Payet , \" Path-Length Analysis of Object-Oriented Programs,\" in Eaai , 2006 . F. Spoto, P. M. Hill, and E. Payet, \"Path-Length Analysis of Object-Oriented Programs,\" in Eaai, 2006."},{"key":"e_1_3_2_1_18_1","volume-title":"Confluence of Typed Attributed Graph Transformation Systems,\" in Icgt","author":"Heckel R.","year":"2002","unstructured":"R. Heckel , J. M. K\u00fcster , and G. Taentzer , \" Confluence of Typed Attributed Graph Transformation Systems,\" in Icgt , 2002 . R. Heckel, J. M. K\u00fcster, and G. Taentzer, \"Confluence of Typed Attributed Graph Transformation Systems,\" in Icgt, 2002."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.01.017"},{"key":"e_1_3_2_1_21_1","volume-title":"Verifying Model Transformations by Structural Correspondence,\" EcEasst","author":"Narayanan A.","year":"2008","unstructured":"A. Narayanan and G. Karsai , \" Verifying Model Transformations by Structural Correspondence,\" EcEasst , vol. 10 , 2008 . A. Narayanan and G. Karsai, \"Verifying Model Transformations by Structural Correspondence,\" EcEasst, vol. 10, 2008."},{"key":"e_1_3_2_1_22_1","first-page":"136","article-title":"A Technique for Automatic Validation of Model Transformations","author":"L\u00facio L.","year":"2010","unstructured":"L. L\u00facio , B. Barroca , and V. Amaral , \" A Technique for Automatic Validation of Model Transformations ,\" in MoDELS , 2010 , pp. 136 -- 150 . L. L\u00facio, B. Barroca, and V. Amaral, \"A Technique for Automatic Validation of Model Transformations,\" in MoDELS, 2010, pp. 136--150.","journal-title":"MoDELS"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.041"},{"key":"e_1_3_2_1_24_1","first-page":"63","volume-title":"Workshop","author":"Varr\u00f3 D\u00e1niel","year":"2003","unstructured":"D\u00e1niel Varr\u00f3 and Andr\u00e1s Pataricza , \" Automated Formal Verification of Model Transformations ,\" in csdUml Workshop , 2003 , pp. 63 -- 78 . D\u00e1niel Varr\u00f3 and Andr\u00e1s Pataricza, \"Automated Formal Verification of Model Transformations,\" in csdUml Workshop, 2003, pp. 63--78."},{"key":"e_1_3_2_1_25_1","unstructured":"L. L\u00facio Q. Zhang V. Sousa and Y. Le Traon \"Verifying Access Control in Statecharts \" EcEasst 2012.  L. L\u00facio Q. Zhang V. Sousa and Y. Le Traon \"Verifying Access Control in Statecharts \" EcEasst 2012."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841883_19"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390647"},{"key":"e_1_3_2_1_29_1","volume-title":"Systematic Transformation Development,\" EcEasst","author":"K\u00fchne T.","year":"2009","unstructured":"T. K\u00fchne , G. Mezei , E. Syriani , H. Vangheluwe , and M. Wimmer , \" Systematic Transformation Development,\" EcEasst , vol. 21 , 2009 . T. K\u00fchne, G. Mezei, E. Syriani, H. Vangheluwe, and M. Wimmer, \"Systematic Transformation Development,\" EcEasst, vol. 21, 2009."},{"key":"e_1_3_2_1_30_1","first-page":"182","article-title":"de Lara and G. Taentzer, \"Automated Model Transformation and its Validation Using AToM3 and AGG","author":"J","year":"2004","unstructured":"J . de Lara and G. Taentzer, \"Automated Model Transformation and its Validation Using AToM3 and AGG ,\" in Diagrams , 2004 , pp. 182 -- 198 . J. de Lara and G. Taentzer, \"Automated Model Transformation and its Validation Using AToM3 and AGG,\" in Diagrams, 2004, pp. 182--198.","journal-title":"Diagrams"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.042"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00434-6_5"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.08.012"},{"key":"e_1_3_2_1_35_1","unstructured":"AUTOSAR \"http:\/\/www.autosar.org \" 2010.  AUTOSAR \"http:\/\/www.autosar.org \" 2010."},{"key":"e_1_3_2_1_36_1","first-page":"159","article-title":"Understanding \"Why\" in Software Process Modelling, Analysis, and Design","author":"Yu E. S.","year":"1994","unstructured":"E. S. Yu and J. Mylopoulos , \" Understanding \"Why\" in Software Process Modelling, Analysis, and Design ,\" in Icse , 1994 , pp. 159 -- 168 . E. S. Yu and J. Mylopoulos, \"Understanding \"Why\" in Software Process Modelling, Analysis, and Design,\" in Icse, 1994, pp. 159--168.","journal-title":"Icse"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOCW.2008.51"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02674-4_3"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.12.011"},{"key":"e_1_3_2_1_40_1","volume-title":"Software Requirement Patterns","author":"Withall S.","year":"2007","unstructured":"S. Withall , Software Requirement Patterns . Microsoft Press , 2007 . S. Withall, Software Requirement Patterns. Microsoft Press, 2007."}],"event":{"name":"MODELS '12: ACM\/IEEE 15th International Conference on Model Driven Engineering Languages and Systems","location":"Innsbruck Austria","acronym":"MODELS '12","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the First Workshop on the Analysis of Model Transformations"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2432497.2432499","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2432497.2432499","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:19Z","timestamp":1750234699000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2432497.2432499"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,2]]},"references-count":37,"alternative-id":["10.1145\/2432497.2432499","10.1145\/2432497"],"URL":"https:\/\/doi.org\/10.1145\/2432497.2432499","relation":{},"subject":[],"published":{"date-parts":[[2012,10,2]]},"assertion":[{"value":"2012-10-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}