{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T03:57:24Z","timestamp":1790827044357,"version":"4.1.0"},"reference-count":70,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100003329","name":"Spanish MINECO","doi-asserted-by":"publisher","award":["TIN2014-52129-R"],"award-info":[{"award-number":["TIN2014-52129-R"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003329","name":"Spanish MINECO","doi-asserted-by":"publisher","award":["TIN2015-73968-JIN (AEI\/FEDER\/UE)"],"award-info":[{"award-number":["TIN2015-73968-JIN (AEI\/FEDER\/UE)"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"name":"R&D programme of the Madrid Region","award":["S2013\/ICE-3006"],"award-info":[{"award-number":["S2013\/ICE-3006"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2017,9,1]]},"DOI":"10.1109\/tse.2016.2635137","type":"journal-article","created":{"date-parts":[[2016,12,2]],"date-time":"2016-12-02T14:29:22Z","timestamp":1480688962000},"page":"868-897","source":"Crossref","is-referenced-by-count":51,"title":["Static Analysis of Model Transformations"],"prefix":"10.1109","volume":"43","author":[{"given":"Jesus Sanchez","family":"Cuadrado","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568281"},{"key":"ref39","first-page":"296","article-title":"DSLTrans: A turing incomplete transformation language","author":"barroca","year":"2010","journal-title":"Proc 3rd Int Conf Software Engineering"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0134-3"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34281-3_16"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1007\/978-3-642-33666-9_28","article-title":"On verifying ATL transformations using ‘off-the-shelf’ SMT solvers","author":"b\u00fcttner","year":"2012","journal-title":"Proc 15th Int'l Conf Model Driven Eng Languages and Systems"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.03.023"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/32.538605"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809071"},{"key":"ref36","author":"steinberg","year":"2008","journal-title":"EMF Eclipse Modeling Framework"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21155-8_14"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19829-8_8"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0548-7"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21732-6_8"},{"key":"ref61","first-page":"36","article-title":"Interactive dependency graphs for model transformation analysis","author":"rentschler","year":"2013","journal-title":"Proc MODELS’13 Invited Talks Demonstration Session Poster Session ACM Student Res Competition Co-Located 16th Int Conf Model Driven Eng Languages Syst"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.7"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01648-6_29"},{"key":"ref64","first-page":"75","article-title":"A static analyzer for model transformations","author":"vieira","year":"2011","journal-title":"Proc 3rd Int Workshop Model Transformation ATL"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1996.493444"},{"key":"ref65","article-title":"Static type checking of model transformation programs","volume":"38","author":"ujhelyi","year":"2011","journal-title":"Electron Commun EASST"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2375201"},{"key":"ref29","article-title":"Evaluating the “small scope hypothesis","author":"andoni","year":"2003"},{"key":"ref67","author":"seki","year":"2005","journal-title":"The dRuby Book"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/2103621.2103686"},{"key":"ref69","first-page":"2","article-title":"Gradual typing for objects","author":"siek","year":"2007","journal-title":"Proc 21st European Conf Object-Oriented Programming"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"1003","DOI":"10.1007\/s10270-013-0358-0","article-title":"A survey of approaches for verifying model transformations","volume":"14","author":"rahim","year":"2015","journal-title":"Softw Syst Model"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231150"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Proc Theory Practice Softw 14th Int Conf Tools Algorithms Construction Analysis Syst"},{"key":"ref22","article-title":"WSDL 2.0 specification (primer)","year":"2007"},{"key":"ref21","first-page":"201","article-title":"Model driven language engineering with kermeta","author":"j\u00e9z\u00e9quel","year":"2011","journal-title":"Generative and Transformational Techniques in Software Engineering II Int Summer School"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88643-3_8"},{"key":"ref23","article-title":"R2ML Web page","year":"2006"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49538-X_2"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3080-2_1"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30476-7_2"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30982-3_11"},{"key":"ref59","article-title":"Formal verification of graph-based model transformations","author":"selim","year":"2015"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.80"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"ref56","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"tip","year":"1995","journal-title":"J Programming Languages"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.08.012"},{"key":"ref54","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/11880240_31","article-title":"Model transformations? Transformation models!","author":"b\u00e9zivin","year":"2006","journal-title":"Proc Int'l Conf Model Driven Eng Languages and Systems"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_29"},{"key":"ref52","first-page":"193","article-title":"Validation of model transformations- first experiences using a white box approach","author":"k\u00fcster","year":"2006","journal-title":"Proc Workshop and Symp at Models in Software Eng"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/978-3-642-21952-8_21","article-title":"Extensive validation of OCL models by integrating SAT solving into USE","author":"kuhlmann","year":"2011","journal-title":"Proc of Int Conf on Objects Models Components Patterns"},{"key":"ref11","year":"0"},{"key":"ref40","first-page":"151","article-title":"Specification of graph translators with triple graph grammars","author":"sch\u00fcrr","year":"1994","journal-title":"Graph-Theoretic Concepts in Computer Science"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.10"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2417161"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1743546.1743583"},{"key":"ref16","first-page":"171","author":"jouault","year":"2006","journal-title":"KM3 A DSL for Metamodel Specification"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"ref18","author":"jackson","year":"2006","journal-title":"Software Abstractions-Logic Language and Analysis"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"ref4","article-title":"OCL 2.4 specification","year":"0"},{"key":"ref3","author":"ehrig","year":"2006","journal-title":"Fundamentals of Algebraic Graph Transformation"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-007-0074-8"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0369-x"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/978-3-642-02408-5_11","article-title":"Automatic model generation strategies for model transformation testing","author":"sen","year":"2009","journal-title":"Proc 2nd Int Conf Theory Practice Model Transformations"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2432497.2432502"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1178625.1178628"},{"key":"ref46","first-page":"139","article-title":"Practical declarative model transformation with tefkat","author":"lawley","year":"2005","journal-title":"Proc Int Conf Satellite Eventse MoDELS"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/11787044_13"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2015.14.3.a1"},{"key":"ref47","first-page":"1","article-title":"A survey of triple graph grammartools","volume":"57","author":"hildebrandt","year":"2013","journal-title":"Electronic Commun EASST"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0541-1"},{"key":"ref41","first-page":"146","article-title":"Quick fixing ATL model transformations","author":"cuadrado","year":"2015","journal-title":"Proceedings of 8th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/978-3-540-69927-9_4","article-title":"The epsilon transformation language","author":"kolovos","year":"2008","journal-title":"1st Int Conf on Theory and Practice of Model Transformations"},{"key":"ref43","first-page":"73","article-title":"Recursion and iteration support in use validator with anatlyzer","author":"cuadrado","year":"2015","journal-title":"Proc 15th Int Workshop OCL Textual Model Tools Textual Model Transformations"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/8038906\/07765073.pdf?arnumber=7765073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:41:31Z","timestamp":1641987691000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7765073\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,1]]},"references-count":70,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tse.2016.2635137","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9,1]]}}}