{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T18:26:56Z","timestamp":1769538416175,"version":"3.49.0"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2016,1,1]]},"DOI":"10.1109\/tse.2015.2449319","type":"journal-article","created":{"date-parts":[[2015,7,17]],"date-time":"2015-07-17T14:53:28Z","timestamp":1437144808000},"page":"2-25","source":"Crossref","is-referenced-by-count":4,"title":["A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models"],"prefix":"10.1109","volume":"42","author":[{"given":"Marco","family":"Autili","sequence":"first","affiliation":[{"name":"Department of Information Engineering Computer Science and Mathematics University of L\u2019Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonia","family":"Bertolino","sequence":"additional","affiliation":[{"name":"CNR-ISTI of Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guglielmo","family":"De Angelis","sequence":"additional","affiliation":[{"name":"CNR-ISTI of Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide Di","family":"Ruscio","sequence":"additional","affiliation":[{"name":"Department of Information Engineering Computer Science and Mathematics University of L\u2019Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio Di","family":"Sandro","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Toronto, Toronto, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","article-title":"On challenges of model transformation from UML to alloy","volume":"9","author":"anastasakis","year":"2010","journal-title":"Softw Syst Model"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.11.005"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.3115\/1118894.1118897"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0090-3"},{"key":"ref31","author":"fowler","year":"2003","journal-title":"UML Distilled 2nd Edition A Brief Guide to the Standard Object Modeling Language"},{"key":"ref30","author":"pohl","year":"2010","journal-title":"Requirements Engineering-Fundamentals Principles and Techniques"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2089116.2089123"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31095-9_24"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.3115\/1609829.1609832"},{"key":"ref28","first-page":"376","article-title":"Mutation analysis testing for model transformations","author":"mottu","year":"0","journal-title":"Proc 2nd Eur Conf Model Driven Archit Found Appl"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36608-6_6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.14"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-005-0079-0"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0193-0"},{"key":"ref22","first-page":"372","article-title":"Real-time specification patterns","author":"konrad","year":"0","journal-title":"Proc Int Conf Softw Eng"},{"key":"ref21","first-page":"411","article-title":"Patterns in property specifications for finite-state verification","author":"dwyer","year":"0","journal-title":"Proc 21st Int Conf Softw Eng"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30241-1_1"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1236471"},{"key":"ref26","first-page":"86","article-title":"Validation and verification policies for governance of service choreographies","author":"angelis","year":"0","journal-title":"Proc 8th Int Conf Web Inf Syst Technol"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s13174-011-0021-3"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1177\/0165551504045856"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.01.054"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009844119158"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30241-1_8"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/s10270-011-0207-y","article-title":"UML formal semantics: Lessons learned","volume":"10","author":"broy","year":"2011","journal-title":"Softw Syst Model"},{"key":"ref15","author":"budinsky","year":"2003","journal-title":"Eclipse Modeling Framework"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1093\/ijl\/3.4.235"},{"key":"ref17","author":"pezz\u00e8","year":"2007","journal-title":"Software Testing and Analysis Process Principles and Techniques"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0035146"},{"key":"ref19","first-page":"427","article-title":"Automatic generation of multiple choice questions from domain ontologies","author":"papasalouros","year":"0","journal-title":"Proc E-Learning"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0257-9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2012.153"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/52.268955"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9136-9"},{"key":"ref8","first-page":"224","article-title":"Language independent refinement using partial modeling","author":"salay","year":"0","journal-title":"Proc 16th Int Conf Fundam Approaches Softw Eng"},{"key":"ref7","author":"krogstie","year":"2000","journal-title":"Information System Engineering Conceptual Modelling in a Quality Perspective"},{"key":"ref49","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/s10270-012-0261-0","article-title":"What will it take? a view on adoption of model-based methods in practice","volume":"11","author":"selic","year":"2012","journal-title":"Softw Syst Model"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34059-8_6"},{"key":"ref46","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5657.001.0001","author":"ericsson","year":"1993","journal-title":"Protocol Analysis Verbal Reports as Data"},{"key":"ref45","author":"turban","year":"1993","journal-title":"Decision support and expert systems Management support systems"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1006\/knac.1994.1016"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/1042-8143(92)90019-W"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336523"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337184"},{"key":"ref44","first-page":"87","article-title":"Knowledge elicitation techniques for knowledge-based systems","author":"cordingley","year":"1989","journal-title":"Knowledge Elicitation Principles Techniques and Applications"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1996.0024"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/7374785\/07132782.pdf?arnumber=7132782","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T05:47:57Z","timestamp":1769492877000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7132782\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,1]]},"references-count":50,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tse.2015.2449319","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1,1]]}}}