{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T16:59:36Z","timestamp":1755795576555,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,17]],"date-time":"2011-10-17T00:00:00Z","timestamp":1318809600000},"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":[[2011,10,17]]},"DOI":"10.1145\/2095654.2095666","type":"proceedings-article","created":{"date-parts":[[2012,1,17]],"date-time":"2012-01-17T17:20:41Z","timestamp":1326820841000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["On validation of ATL transformation rules by transformation models"],"prefix":"10.1145","author":[{"given":"Fabian","family":"B\u00fcttner","sequence":"first","affiliation":[{"name":"University of Bremen, Bremen, Germany"}]},{"given":"Jordi","family":"Cabot","sequence":"additional","affiliation":[{"name":"AtlanMod Research Team, Nantes, France"}]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2011,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"On challenges of model transformation from UML to Alloy. Software and System Modeling, 9(1)","author":"Anastasakis K.","year":"2010","unstructured":"K. Anastasakis , B. Bordbar , G. Georg , and I. Ray . On challenges of model transformation from UML to Alloy. Software and System Modeling, 9(1) , 2010 . K. Anastasakis, B. Bordbar, G. Georg, and I. Ray. On challenges of model transformation from UML to Alloy. Software and System Modeling, 9(1), 2010."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.42"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. of the 2nd Symposium on Trustworthy Global Computing, TGC'06","author":"Baresi L.","year":"2006","unstructured":"L. Baresi , K. Ehrig , and R. Heckel . Verification of model transformations: A case study with bpel . In Proc. of the 2nd Symposium on Trustworthy Global Computing, TGC'06 , 2006 . L. Baresi, K. Ehrig, and R. Heckel. Verification of model transformations: A case study with bpel. In Proc. of the 2nd Symposium on Trustworthy Global Computing, TGC'06, 2006."},{"key":"e_1_3_2_1_4_1","volume-title":"ECMDA workshop on Integration of Model Driven Development and Model Driven Testing","author":"Baudry B.","year":"2006","unstructured":"B. Baudry , T. Dinh-Trong , J.-M. Mottu , D. Simmonds , R. France , S. Ghosh , F. Fleurey , and Y. Le Traon . Model transformation testing challenges . In ECMDA workshop on Integration of Model Driven Development and Model Driven Testing , 2006 . B. Baudry, T. Dinh-Trong, J.-M. Mottu, D. Simmonds, R. France, S. Ghosh, F. Fleurey, and Y. Le Traon. Model transformation testing challenges. In ECMDA workshop on Integration of Model Driven Development and Model Driven Testing, 2006."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1743546.1743583"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_31"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00593-0_2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.27"},{"key":"e_1_3_2_1_9_1","series-title":"LNCS","volume-title":"Fundamental Approaches to Software Engineering, 11th International Conference, FASE","author":"Brucker A. D.","year":"2008","unstructured":"A. D. Brucker and B. Wolff . HOL-OCL: A Formal Proof Environment for UML\/OCL . In J. L. Fiadeiro and P. Inverardi, editors, Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008 , Proceedings, volume 4961 of LNCS . Springer , 2008. A. D. Brucker and B. Wolff. HOL-OCL: A Formal Proof Environment for UML\/OCL. In J. L. Fiadeiro and P. Inverardi, editors, Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Proceedings, volume 4961 of LNCS. Springer, 2008."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.08.012"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321737"},{"key":"e_1_3_2_1_12_1","volume-title":"Ocl contracts for the verification of model transformations. ECEASST, 24","author":"Cariou E.","year":"2009","unstructured":"E. Cariou , N. Belloir , F. Barbier , and N. Djemam . Ocl contracts for the verification of model transformations. ECEASST, 24 , 2009 . E. Cariou, N. Belloir, F. Barbier, and N. Djemam. Ocl contracts for the verification of model transformations. ECEASST, 24, 2009."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of Workshop OCL and Model Driven Engineering","author":"Cariou E.","year":"2004","unstructured":"E. Cariou , R. Marvie , L. Seinturier , and L. Duchien . Ocl for the specification of model transformation contracts . In Proceedings of Workshop OCL and Model Driven Engineering , 2004 . E. Cariou, R. Marvie, L. Seinturier, and L. Duchien. Ocl for the specification of model transformation contracts. In Proceedings of Workshop OCL and Model Driven Engineering, 2004."},{"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","volume-title":"Generating instance models from meta models. Software and Systems Modeling, 8","author":"Ehrig K.","year":"2009","unstructured":"K. Ehrig , J. K\u00fcster , and G. Taentzer . Generating instance models from meta models. Software and Systems Modeling, 8 , 2009 . 10.1007\/s10270-008-0095-y. K. Ehrig, J. K\u00fcster, and G. Taentzer. Generating instance models from meta models. Software and Systems Modeling, 8, 2009. 10.1007\/s10270-008-0095-y."},{"key":"e_1_3_2_1_16_1","series-title":"LNCS","volume-title":"Theory and Practice of Model Transformations, ICMT","author":"Fiorentini C.","year":"2010","unstructured":"C. Fiorentini , A. Momigliano , M. Ornaghi , and I. Poernomo . A constructive approach to testing model transformations . In L. Tratt and M. Gogolla, editors, Theory and Practice of Model Transformations, ICMT 2010 , Proceedings, volume 6142 of LNCS . Springer , 2010. C. Fiorentini, A. Momigliano, M. Ornaghi, and I. Poernomo. A constructive approach to testing model transformations. In L. Tratt and M. Gogolla, editors, Theory and Practice of Model Transformations, ICMT 2010, Proceedings, volume 6142 of LNCS. Springer, 2010."},{"key":"e_1_3_2_1_17_1","volume-title":"Transformation Techniques in Software Engineering. IBFI","author":"Gogolla M.","year":"2005","unstructured":"M. Gogolla . Tales of ER and RE Syntax and Semantics . In J. R. Cordy, R. L\u00e4mmel, and A. Winter, editors, Transformation Techniques in Software Engineering. IBFI , Schloss Dagstuhl, Germany , 2005 . Dagstuhl Seminar Proceedings 05161. 51 pages. M. Gogolla. Tales of ER and RE Syntax and Semantics. In J. R. Cordy, R. L\u00e4mmel, and A. Winter, editors, Transformation Techniques in Software Engineering. IBFI, Schloss Dagstuhl, Germany, 2005. Dagstuhl Seminar Proceedings 05161. 51 pages."},{"key":"e_1_3_2_1_18_1","volume-title":"Validating UML and OCL models in USE by automatic snapshot generation. Software and System Modeling, 4(4)","author":"Gogolla M.","year":"2005","unstructured":"M. Gogolla , J. Bohling , and M. Richters . Validating UML and OCL models in USE by automatic snapshot generation. Software and System Modeling, 4(4) , 2005 . M. Gogolla, J. Bohling, and M. Richters. Validating UML and OCL models in USE by automatic snapshot generation. Software and System Modeling, 4(4), 2005."},{"key":"e_1_3_2_1_19_1","series-title":"LNCS","volume-title":"Modelling Foundations and Applications, 7th European Conference, ECMFA","author":"Gogolla M.","year":"2011","unstructured":"M. Gogolla and A. Vallecillo . tractable model transformation testing . In R. B. France, J. M. K\u00fcster, B. Bordbar, and R. F. Paige, editors, Modelling Foundations and Applications, 7th European Conference, ECMFA 2011 , Proceedings, volume 6698 of LNCS . Springer , 2011. M. Gogolla and A. Vallecillo. tractable model transformation testing. In R. B. France, J. M. K\u00fcster, B. Bordbar, and R. F. Paige, editors, Modelling Foundations and Applications, 7th European Conference, ECMFA 2011, Proceedings, volume 6698 of LNCS. Springer, 2011."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"e_1_3_2_1_21_1","volume-title":"Software and System Modeling","author":"K\u00fcster J. M.","year":"2004","unstructured":"J. M. K\u00fcster . Definition and validation of model transformations . Software and System Modeling , 2004 . J. M. K\u00fcster. Definition and validation of model transformations. Software and System Modeling, 2004."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.09.027"},{"key":"e_1_3_2_1_23_1","series-title":"LNCS","volume-title":"D. C. Petriu, N. Rouquette, and \u00d8","author":"Lucio L.","year":"2010","unstructured":"L. Lucio , B. Barroca , and V. Amaral . A technique for automatic validation of model transformations . In D. C. Petriu, N. Rouquette, and \u00d8 . Haugen, editors, Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010 , Proceedings, Part I, volume 6394 of LNCS . Springer , 2010. L. Lucio, B. Barroca, and V. Amaral. A technique for automatic validation of model transformations. In D. C. Petriu, N. Rouquette, and \u00d8. Haugen, editors, Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Proceedings, Part I, volume 6394 of LNCS. Springer, 2010."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_41"},{"key":"e_1_3_2_1_25_1","volume-title":"Object Management Group","author":"Meta Object OMG.","year":"2008","unstructured":"OMG. Meta Object Facility (MOF) 2.0 Query\/Views\/ Transformation Specification (Document formal\/08-04-03). Object Management Group , Inc., Framingham, Mass., Internet : http:\/\/www.omg.org, 2008 . OMG. Meta Object Facility (MOF) 2.0 Query\/Views\/Transformation Specification (Document formal\/08-04-03). Object Management Group, Inc., Framingham, Mass., Internet: http:\/\/www.omg.org, 2008."},{"key":"e_1_3_2_1_26_1","series-title":"LNCS","volume-title":"Conceptual Modeling, 29th International Conference, ER","author":"Queralt A.","year":"2010","unstructured":"A. Queralt , G. Rull , E. Teniente , C. Farr\u00e9 , and T. Urp\u00ed . AuRUS: Automated Reasoning on UML\/OCL Schemas . In J. Parsons, M. Saeki, P. Shoval, C. C. Woo, and Y. Wand, editors, Conceptual Modeling, 29th International Conference, ER 2010 , Proceedings, volume 6412 of LNCS . Springer , 2010. A. Queralt, G. Rull, E. Teniente, C. Farr\u00e9, and T. Urp\u00ed. AuRUS: Automated Reasoning on UML\/OCL Schemas. In J. Parsons, M. Saeki, P. Shoval, C. C. Woo, and Y. Wand, editors, Conceptual Modeling, 29th International Conference, ER 2010, Proceedings, volume 6412 of LNCS. Springer, 2010."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02408-5_11"},{"key":"e_1_3_2_1_28_1","series-title":"LNCS","volume-title":"Theory and Practice of Model Transformations, ICMT","author":"Troya J.","year":"2010","unstructured":"J. Troya and A. Vallecillo . Towards a rewriting logic semantics for ATL . In L. Tratt and M. Gogolla, editors, Theory and Practice of Model Transformations, ICMT 2010 , Proceedings, volume 6142 of LNCS . Springer , 2010. J. Troya and A. Vallecillo. Towards a rewriting logic semantics for ATL. In L. Tratt and M. Gogolla, editors, Theory and Practice of Model Transformations, ICMT 2010, Proceedings, volume 6142 of LNCS. Springer, 2010."},{"key":"e_1_3_2_1_29_1","volume-title":"http:\/\/www.eclipse.org\/m2m\/atl\/atlTransformations\/, visited 08.07.2011","author":"List","year":"2011","unstructured":"List of ATL transformations on the eclipse ATL site. http:\/\/www.eclipse.org\/m2m\/atl\/atlTransformations\/, visited 08.07.2011 , 2011 . List of ATL transformations on the eclipse ATL site. http:\/\/www.eclipse.org\/m2m\/atl\/atlTransformations\/, visited 08.07.2011, 2011."}],"event":{"name":"MoDeVVa '11: Model-Driven Engineering, Verification, and Validation","acronym":"MoDeVVa '11","location":"Wellington New Zealand"},"container-title":["Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2095654.2095666","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2095654.2095666","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:48Z","timestamp":1750241208000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2095654.2095666"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,17]]},"references-count":29,"alternative-id":["10.1145\/2095654.2095666","10.1145\/2095654"],"URL":"https:\/\/doi.org\/10.1145\/2095654.2095666","relation":{},"subject":[],"published":{"date-parts":[[2011,10,17]]},"assertion":[{"value":"2011-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}