{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:31:13Z","timestamp":1750221073253,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004410","name":"T\u00fcrkiye Bilimsel ve Teknolojik Arastirma Kurumu","doi-asserted-by":"publisher","award":["9150181"],"award-info":[{"award-number":["9150181"]}],"id":[{"id":"10.13039\/501100004410","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000921","name":"European Cooperation in Science and Technology","doi-asserted-by":"publisher","award":["IC1404, IC1402"],"award-info":[{"award-number":["IC1404, IC1402"]}],"id":[{"id":"10.13039\/501100000921","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,26]]},"DOI":"10.1145\/3236024.3264588","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"920-923","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning"],"prefix":"10.1145","author":[{"given":"Ferhat","family":"Erata","sequence":"first","affiliation":[{"name":"UNIT Information Technologies, Turkey"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arda","family":"Goknil","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Kurtev","sequence":"additional","affiliation":[{"name":"Altran, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bedir","family":"Tekinerdogan","sequence":"additional","affiliation":[{"name":"Wageningen University, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Kyriakos Anastasakis Behzad Bordbar Geri Georg and Indrakshi Ray. 2007. UML2Alloy: A challenging model transformation. In MODELS\u201907. 436\u2013450.   Kyriakos Anastasakis Behzad Bordbar Geri Georg and Indrakshi Ray. 2007. UML2Alloy: A challenging model transformation. In MODELS\u201907. 436\u2013450.","DOI":"10.1007\/978-3-540-75209-7_30"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0441-1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2932433.2932497"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.54"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321737"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0353-5"},{"key":"e_1_3_2_1_7_1","unstructured":"Ecore. 2017. https:\/\/www.eclipse.org\/modeling\/emf\/. (2017).  Ecore. 2017. https:\/\/www.eclipse.org\/modeling\/emf\/. (2017)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Niklas E\u00e9n and Niklas S\u00f6rensson. 2003. An Extensible SAT-solver. In SAT\u201903. 502\u2013518.  Niklas E\u00e9n and Niklas S\u00f6rensson. 2003. An Extensible SAT-solver. In SAT\u201903. 502\u2013518.","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3019612.3019747"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3122825"},{"key":"e_1_3_2_1_11_1","unstructured":"MOF (Meta-Object Facility). 2017. http:\/\/www.omg.org\/mof\/. (2017).  MOF (Meta-Object Facility). 2017. http:\/\/www.omg.org\/mof\/. (2017)."},{"key":"e_1_3_2_1_12_1","unstructured":"Ford-Otosan. 2017. http:\/\/www.fordotosan.com.tr. (2017).  Ford-Otosan. 2017. http:\/\/www.fordotosan.com.tr. (2017)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.14"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814251.2814268"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Aboubakr Achraf El Ghazi and Mana Taghdiri. 2011. Relational Reasoning via SMT Solving. In FM\u201911. 133\u2013148.   Aboubakr Achraf El Ghazi and Mana Taghdiri. 2011. Relational Reasoning via SMT Solving. In FM\u201911. 133\u2013148.","DOI":"10.1007\/978-3-642-21437-0_12"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0142-3"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985858"},{"key":"e_1_3_2_1_18_1","volume-title":"Text &amp","author":"ModelWriter ITEA.","year":"2014","unstructured":"ITEA. 2014. ModelWriter : Text &amp ; Model Synchronized Document Engineering Platform . https:\/\/itea3.org\/project\/modelwriter.html. ( Sep 2014 ). ITEA. 2014. ModelWriter: Text & Model Synchronized Document Engineering Platform. https:\/\/itea3.org\/project\/modelwriter.html. (Sep 2014)."},{"key":"e_1_3_2_1_19_1","volume-title":"ASSUME: Affordable Safe &amp","author":"ITEA.","year":"2015","unstructured":"ITEA. 2015 . ASSUME: Affordable Safe &amp ; Secure Mobility Evolution . https: \/\/itea3.org\/project\/assume.html. (Sep 2015). ITEA. 2015. ASSUME: Affordable Safe & Secure Mobility Evolution. https: \/\/itea3.org\/project\/assume.html. (Sep 2015)."},{"key":"e_1_3_2_1_20_1","volume-title":"Software Abstractions: Logic, Language, and Analysis. MIT.","author":"Jackson Daniel","year":"2012","unstructured":"Daniel Jackson . 2012 . Software Abstractions: Logic, Language, and Analysis. MIT. Daniel Jackson. 2012. Software Abstractions: Logic, Language, and Analysis. MIT."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Ethan Jackson Tiham\u00e9r Levendovszky and Daniel Balasubramanian. 2011. Reasoning about metamodeling with formal specifications and automatic proofs. In MODELS\u201911. 653\u2013667.   Ethan Jackson Tiham\u00e9r Levendovszky and Daniel Balasubramanian. 2011. Reasoning about metamodeling with formal specifications and automatic proofs. In MODELS\u201911. 653\u2013667.","DOI":"10.1007\/978-3-642-24485-8_48"},{"key":"e_1_3_2_1_22_1","unstructured":"Narendra Jussien Guillaume Rochart and Xavier Lorca. 2008. Choco: an open source java constraint programming library. In OSSICP\u201908. 1\u201310.  Narendra Jussien Guillaume Rochart and Xavier Lorca. 2008. Choco: an open source java constraint programming library. In OSSICP\u201908. 1\u201310."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_27"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Leonardo De Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In TACAS\u201908. 337\u2013340.   Leonardo De Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In TACAS\u201908. 337\u2013340.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_25_1","unstructured":"Nils Przigoda Frank Hilken Judith Peters Robert Wille Martin Gogolla and Rolf Drechsler. 2016. Integrating an SMT-Based ModelFinder into USE. In MoDeVVa@MODELS\u201916. 40\u201345.  Nils Przigoda Frank Hilken Judith Peters Robert Wille Martin Gogolla and Rolf Drechsler. 2016. Integrating an SMT-Based ModelFinder into USE. In MoDeVVa@MODELS\u201916. 40\u201345."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Seyyed MA Shah Kyriakos Anastasakis and Behzad Bordbar. 2009. From UML to Alloy and back again. In MODELS\u201909. 158\u2013171.  Seyyed MA Shah Kyriakos Anastasakis and Behzad Bordbar. 2009. From UML to Alloy and back again. In MODELS\u201909. 158\u2013171.","DOI":"10.1007\/978-3-642-12261-3_16"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Mathias Soeken Robert Wille Mirco Kuhlmann Martin Gogolla and Rolf Drechsler. 2010. Verifying UML\/OCL Models using Boolean Satisfiability. In DATE\u201910.   Mathias Soeken Robert Wille Mirco Kuhlmann Martin Gogolla and Rolf Drechsler. 2010. Verifying UML\/OCL Models using Boolean Satisfiability. In DATE\u201910.","DOI":"10.1109\/DATE.2010.5457017"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.2307\/2268577"},{"key":"e_1_3_2_1_29_1","volume-title":"Kodkod: A Relational Model Finder. In TACAS\u201907. 632\u2013647.","author":"Torlak Emina","year":"2007","unstructured":"Emina Torlak and Daniel Jackson . 2007 . Kodkod: A Relational Model Finder. In TACAS\u201907. 632\u2013647. Emina Torlak and Daniel Jackson. 2007. Kodkod: A Relational Model Finder. In TACAS\u201907. 632\u2013647."},{"key":"e_1_3_2_1_30_1","unstructured":"Mandana Vaziri and Daniel Jackson. 2000. Some Shortcomings of OCL the Object Constraint Language of UML. In TOOLS\u201900. 555\u2013562. Abstract 1 Introduction 2 Related Work 3 Tool Overview 3.1 Specification of Metamodels and Semantics 3.2 Specification of Models 3.3 Automated Reasoning on Models 4 Evaluation 5 Implementation & Availability 6 Conclusion Acknowledgments References   Mandana Vaziri and Daniel Jackson. 2000. Some Shortcomings of OCL the Object Constraint Language of UML. In TOOLS\u201900. 555\u2013562. Abstract 1 Introduction 2 Related Work 3 Tool Overview 3.1 Specification of Metamodels and Semantics 3.2 Specification of Models 3.3 Automated Reasoning on Models 4 Evaluation 5 Implementation & Availability 6 Conclusion Acknowledgments References"}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18"},"container-title":["Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3264588","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3264588","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:27Z","timestamp":1750208247000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3264588"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":30,"alternative-id":["10.1145\/3236024.3264588","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3264588","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}