{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T14:21:42Z","timestamp":1760710902649,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,19]],"date-time":"2021-11-19T00:00:00Z","timestamp":1637280000000},"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":[[2021,11,19]]},"DOI":"10.1145\/3501774.3501787","type":"proceedings-article","created":{"date-parts":[[2022,3,26]],"date-time":"2022-03-26T16:12:37Z","timestamp":1648311157000},"page":"85-93","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A Lightweight Development of Outbreak Prevention Strategies Built on Formal Methods and xDSLs"],"prefix":"10.1145","author":[{"given":"Akram","family":"Idani","sequence":"first","affiliation":[{"name":"Laboratoire d'Informatique de Grenoble, University of Grenoble Alpes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,3,26]]},"reference":[{"volume-title":"Modelling Smart Buildings Using Fault Maintenance Trees","author":"Abate Alessandro","key":"e_1_3_2_1_1_1","unstructured":"Alessandro Abate , Carlos\u00a0 E. Budde , Nathalie Cauchi , Arnaud van Harmelen , Khaza\u00a0Anuarul Hoque , and Mari\u00eblle Stoelinga . 2018. Modelling Smart Buildings Using Fault Maintenance Trees . In Computer Performance Engineering, Rena Bakhshi, Paolo Ballarini, Beno\u00eet Barbot, Hind Castel-Taleb, and Anne Remke (Eds.). Springer International Publishing , Cham , 110\u2013125. Alessandro Abate, Carlos\u00a0E. Budde, Nathalie Cauchi, Arnaud van Harmelen, Khaza\u00a0Anuarul Hoque, and Mari\u00eblle Stoelinga. 2018. Modelling Smart Buildings Using Fault Maintenance Trees. In Computer Performance Engineering, Rena Bakhshi, Paolo Ballarini, Beno\u00eet Barbot, Hind Castel-Taleb, and Anne Remke (Eds.). Springer International Publishing, Cham, 110\u2013125."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/236705"},{"volume-title":"Software Language Engineering(LNCS, Vol.\u00a06563)","author":"Bandener Nils","key":"e_1_3_2_1_3_1","unstructured":"Nils Bandener , Christian Soltenborn , and Gregor Engels . 2011. Extending DMM Behavior Specifications for Visual Execution and Debugging . In Software Language Engineering(LNCS, Vol.\u00a06563) . Springer , 357\u2013376. Nils Bandener, Christian Soltenborn, and Gregor Engels. 2011. Extending DMM Behavior Specifications for Visual Execution and Debugging. In Software Language Engineering(LNCS, Vol.\u00a06563). Springer, 357\u2013376."},{"key":"e_1_3_2_1_4_1","volume-title":"Implementing Domain-Specific Languages with Xtext and Xtend","author":"Bettini Lorenzo","unstructured":"Lorenzo Bettini . 2016. Implementing Domain-Specific Languages with Xtext and Xtend ( 2 nd ed.). Packt Publishing . Lorenzo Bettini. 2016. Implementing Domain-Specific Languages with Xtext and Xtend (2nd ed.). Packt Publishing.","edition":"2"},{"key":"e_1_3_2_1_5_1","volume-title":"C (June","author":"Davies Jim","year":"2015","unstructured":"Jim Davies , David Milward , Chen-Wei Wang , and James Welch . 2015. Formal Model-driven Engineering of Critical Information Systems. Sci. Comput. Program. 103 , C (June 2015 ), 88\u2013113. https:\/\/doi.org\/10.1016\/j.scico.2014.11.004 10.1016\/j.scico.2014.11.004 Jim Davies, David Milward, Chen-Wei Wang, and James Welch. 2015. Formal Model-driven Engineering of Critical Information Systems. Sci. Comput. Program. 103, C (June 2015), 88\u2013113. https:\/\/doi.org\/10.1016\/j.scico.2014.11.004"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40011-7_23"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-63461-2_19"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-020-00366-3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09872-1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30942-8_31"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_36"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/3220900.3221117"},{"volume-title":"2013 International Conference on Parallel and Distributed Systems. 438\u2013439","author":"Luo H.","key":"e_1_3_2_1_13_1","unstructured":"H. Luo , R. Wang , and X. Li . 2013. A Rule Verification and Resolution Framework in Smart Building System . In 2013 International Conference on Parallel and Distributed Systems. 438\u2013439 . H. Luo, R. Wang, and X. Li. 2013. A Rule Verification and Resolution Framework in Smart Building System. In 2013 International Conference on Parallel and Distributed Systems. 438\u2013439."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-006-0273-5"},{"key":"e_1_3_2_1_15_1","unstructured":"[\n  15\n  ]  Meeduse.[n.d.]. http:\/\/vasco.imag.fr\/tools\/meeduse\/. Accessed: 2020-10-07.  [15] Meeduse.[n.d.]. http:\/\/vasco.imag.fr\/tools\/meeduse\/. Accessed: 2020-10-07."},{"key":"e_1_3_2_1_16_1","unstructured":"Obeo. [n.d.]. Xtext \/ Sirius - Integration The main use-cases (White paper). https:\/\/www.obeodesigner.com\/resource\/white-paper\/WhitePaper_XtextSirius_EN.pdf. Accessed: 2020-10-07.  Obeo. [n.d.]. Xtext \/ Sirius - Integration The main use-cases (White paper). https:\/\/www.obeodesigner.com\/resource\/white-paper\/WhitePaper_XtextSirius_EN.pdf. Accessed: 2020-10-07."},{"key":"e_1_3_2_1_17_1","volume-title":"Implementation of Home Automation System Using OpenHAB Framework for Heterogeneous IoT Devices. In IEEE International Conference on Internet of Things and Intelligence System (IoTaIS). 67\u201373","author":"Parocha C.","year":"2019","unstructured":"R.\u00a0 C. Parocha and E.\u00a0Q.\u00a0 B. Macabebe . 2019 . Implementation of Home Automation System Using OpenHAB Framework for Heterogeneous IoT Devices. In IEEE International Conference on Internet of Things and Intelligence System (IoTaIS). 67\u201373 . R.\u00a0C. Parocha and E.\u00a0Q.\u00a0B. Macabebe. 2019. Implementation of Home Automation System Using OpenHAB Framework for Heterogeneous IoT Devices. In IEEE International Conference on Internet of Things and Intelligence System (IoTaIS). 67\u201373."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0391-z"},{"key":"e_1_3_2_1_19_1","unstructured":"[\n  19\n  ]  Sirius.[n.d.]. http:\/\/www.eclipse.org\/sirius\/. Accessed: 2020-10-07.  [19] Sirius.[n.d.]. http:\/\/www.eclipse.org\/sirius\/. Accessed: 2020-10-07."},{"key":"e_1_3_2_1_20_1","volume-title":"Merks","author":"Steinberg Dave","year":"2008","unstructured":"Dave Steinberg , Frank Budinsky , Marcelo Paternostro , and Ed Merks . 2008 . EMF : Eclipse Modeling Framework(2nd ed.). Addison-Wesley . Dave Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. 2008. EMF: Eclipse Modeling Framework(2nd ed.). Addison-Wesley."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2014.2364613"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2016.2531288"},{"volume-title":"Model-Driven Engineering Languages and Systems (Models)(LNCS, Vol.\u00a08767)","author":"Tatibou\u00ebt J\u00e9r\u00e9mie","key":"e_1_3_2_1_23_1","unstructured":"J\u00e9r\u00e9mie Tatibou\u00ebt , Arnaud Cuccuru , S\u00e9bastien G\u00e9rard , and Fran\u00e7ois Terrier . 2014. Formalizing Execution Semantics of UML Profiles with fUML Models . In Model-Driven Engineering Languages and Systems (Models)(LNCS, Vol.\u00a08767) . Springer , 133\u2013148. J\u00e9r\u00e9mie Tatibou\u00ebt, Arnaud Cuccuru, S\u00e9bastien G\u00e9rard, and Fran\u00e7ois Terrier. 2014. Formalizing Execution Semantics of UML Profiles with fUML Models. In Model-Driven Engineering Languages and Systems (Models)(LNCS, Vol.\u00a08767). Springer, 133\u2013148."}],"event":{"name":"ESSE 2021: 2021 2nd European Symposium on Software Engineering","acronym":"ESSE 2021","location":"Larissa Greece"},"container-title":["2021 2nd European Symposium on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3501774.3501787","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3501774.3501787","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:11:45Z","timestamp":1750191105000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3501774.3501787"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,19]]},"references-count":23,"alternative-id":["10.1145\/3501774.3501787","10.1145\/3501774"],"URL":"https:\/\/doi.org\/10.1145\/3501774.3501787","relation":{},"subject":[],"published":{"date-parts":[[2021,11,19]]},"assertion":[{"value":"2022-03-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}