{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:06Z","timestamp":1750306086343,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T00:00:00Z","timestamp":1503273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002848","name":"Comisi\u00f3n Nacional de Investigaci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","doi-asserted-by":"publisher","award":["PICT 2012-1298, PICT 2013-2624"],"award-info":[{"award-number":["PICT 2012-1298, PICT 2013-2624"]}],"id":[{"id":"10.13039\/501100002848","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,8,21]]},"DOI":"10.1145\/3106237.3122826","type":"proceedings-article","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T19:36:18Z","timestamp":1501702578000},"page":"969-973","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour"],"prefix":"10.1145","author":[{"given":"Germ\u00e1n","family":"Regis","sequence":"first","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9sar","family":"Cornejo","sequence":"additional","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sim\u00f3n","family":"Guti\u00e9rrez Brida","sequence":"additional","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariano","family":"Politano","sequence":"additional","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Raverta","sequence":"additional","affiliation":[{"name":"Universidad Nacional de C\u00f3rdoba, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"Ponzio","sequence":"additional","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nazareno","family":"Aguirre","sequence":"additional","affiliation":[{"name":"Universidad Nacional de R\u00edo Cuarto, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Pablo","family":"Galeotti","sequence":"additional","affiliation":[{"name":"University of Buenos Aires, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo","family":"Frias","sequence":"additional","affiliation":[{"name":"Buenos Aires Institute of Technology, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,8,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.46"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/236705"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950337"},{"key":"e_1_3_2_1_4_1","volume-title":"September 4\u20138","author":"Analyzer DynAlloy","year":"2017","unstructured":"DynAlloy Analyzer : A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour ESEC\/FSE\u201917 , September 4\u20138 , 2017 , Paderborn , Germany DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour ESEC\/FSE\u201917, September 4\u20138, 2017, Paderborn, Germany"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68679-8_4"},{"key":"e_1_3_2_1_6_1","first-page":"10","article-title":"Dynamic software architectures verification using dynalloy","author":"Bucchiarone Antonio","year":"2008","unstructured":"Antonio Bucchiarone and Juan P. Galeotti . Dynamic software architectures verification using dynalloy . ECEASST , 10 , 2008 . Antonio Bucchiarone and Juan P. Galeotti. Dynamic software architectures verification using dynalloy. ECEASST, 10, 2008.","journal-title":"ECEASST"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146251"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87873-5_13"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/77545"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814771_51"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062535"},{"key":"e_1_3_2_1_12_1","volume-title":"FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings","volume":"2805","author":"Frias Marcelo F.","year":"2003","unstructured":"Marcelo F. Frias , Carlos L\u00f3pez Pombo , Gabriel Baum , Nazareno Aguirre , and T. S. E. Maibaum . Taking Alloy to the movies. In Keijiro Araki, Stefania Gnesi, and Dino Mandrioli, editors , FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings , volume 2805 of Lecture Notes in Computer Science, pages 678\u2013697. Springer , 2003 . Marcelo F. Frias, Carlos L\u00f3pez Pombo, Gabriel Baum, Nazareno Aguirre, and T. S. E. Maibaum. Taking Alloy to the movies. In Keijiro Araki, Stefania Gnesi, and Dino Mandrioli, editors, FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, volume 2805 of Lecture Notes in Computer Science, pages 678\u2013697. Springer, 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101815.1101819"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1314493.1314497"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.15"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831712"},{"key":"e_1_3_2_1_17_1","volume-title":"5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings","volume":"7871","author":"Geldenhuys Jaco","year":"2013","unstructured":"Jaco Geldenhuys , Nazareno Aguirre , Marcelo F. Frias , and Willem Visser . Bounded lazy initialization. In Guillaume Brat, Neha Rungta, and Arnaud Venet, editors, NASA Formal Methods , 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings , volume 7871 of Lecture Notes in Computer Science, pages 229\u2013243. Springer , 2013 . Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, and Willem Visser. Bounded lazy initialization. In Guillaume Brat, Neha Rungta, and Arnaud Venet, editors, NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, volume 7871 of Lecture Notes in Computer Science, pages 229\u2013243. Springer, 2013."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/560394"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/557365"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_22_1","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"Jackson Daniel","year":"2006","unstructured":"Daniel Jackson . Software Abstractions: Logic, Language, and Analysis . The MIT Press , 2006 . Daniel Jackson. Software Abstractions: Logic, Language, and Analysis. The MIT Press, 2006."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503219"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/94062"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100137"},{"key":"e_1_3_2_1_26_1","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"Lamport Leslie","year":"2002","unstructured":"Leslie Lamport . Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 2002 . Leslie Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950318"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11811-1_10"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0401-9"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2389225"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1996.488298"},{"key":"e_1_3_2_1_32_1","volume-title":"Z Notation - a reference manual (2. ed.)","author":"Spivey J. Michael","year":"1992","unstructured":"J. Michael Spivey . Z Notation - a reference manual (2. ed.) . Prentice Hall International Series in Computer Science. Prentice Hall , 1992 . J. Michael Spivey. Z Notation - a reference manual (2. ed.). Prentice Hall International Series in Computer Science. Prentice Hall, 1992."},{"key":"e_1_3_2_1_33_1","volume-title":"13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings","volume":"4424","author":"Torlak Emina","year":"2007","unstructured":"Emina Torlak and Daniel Jackson . Kodkod : A relational model finder. In Orna Grumberg and Michael Huth, editors, Tools and Algorithms for the Construction and Analysis of Systems , 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings , volume 4424 of Lecture Notes in Computer Science, pages 632\u2013647. Springer , 2007 . Emina Torlak and Daniel Jackson. Kodkod: A relational model finder. In Orna Grumberg and Michael Huth, editors, Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, volume 4424 of Lecture Notes in Computer Science, pages 632\u2013647. Springer, 2007."},{"key":"e_1_3_2_1_34_1","volume-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","author":"van Lamsweerde Axel","year":"2009","unstructured":"Axel van Lamsweerde . Requirements Engineering: From System Goals to UML Models to Software Specifications . Wiley Publishing , 1 st edition, 2009 . Axel van Lamsweerde. Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley Publishing, 1st edition, 2009.","edition":"1"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"e_1_3_2_1_36_1","unstructured":"Abstract 1 Introduction 2 Alloy Models with State Change 3 State Change: The DynAlloy Approach 3.1 Analysis of DynAlloy Models 4 Related Work 5 Conclusions References  Abstract 1 Introduction 2 Alloy Models with State Change 3 State Change: The DynAlloy Approach 3.1 Analysis of DynAlloy Models 4 Related Work 5 Conclusions References"}],"event":{"name":"ESEC\/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Paderborn Germany","acronym":"ESEC\/FSE'17"},"container-title":["Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3122826","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3106237.3122826","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:17Z","timestamp":1750217417000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3122826"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,21]]},"references-count":36,"alternative-id":["10.1145\/3106237.3122826","10.1145\/3106237"],"URL":"https:\/\/doi.org\/10.1145\/3106237.3122826","relation":{},"subject":[],"published":{"date-parts":[[2017,8,21]]},"assertion":[{"value":"2017-08-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}