{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:54:57Z","timestamp":1764053697195,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T00:00:00Z","timestamp":1602806400000},"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":[[2020,10,18]]},"DOI":"10.1145\/3365438.3410967","type":"proceedings-article","created":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T16:09:22Z","timestamp":1611072562000},"page":"211-217","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Designing, animating, and verifying partial UML Models"],"prefix":"10.1145","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Jouault","sequence":"first","affiliation":[{"name":"ERIS, ESEO-TECH, Angers, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"Besnard","sequence":"additional","affiliation":[{"name":"ERIS, ESEO-TECH, Angers, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Th\u00e9o Le","family":"Calvar","sequence":"additional","affiliation":[{"name":"LERIA, Universit\u00e9 d'Angers, Angers, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ciprian","family":"Teodorov","sequence":"additional","affiliation":[{"name":"ENSTA Bretagne, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Brun","sequence":"additional","affiliation":[{"name":"ERIS, ESEO-TECH, Angers, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jerome","family":"Delatour","sequence":"additional","affiliation":[{"name":"ERIS, ESEO-TECH, Angers, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C.2019.00115"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00131"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239395"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings. 1--18","author":"Boniol Fr\u00e9d\u00e9ric","year":"2014","unstructured":"Fr\u00e9d\u00e9ric Boniol and Virginie Wiels . 2014 . Landing Gear System Case Study. In Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2--6, 2014 , Proceedings. 1--18 . Fr\u00e9d\u00e9ric Boniol and Virginie Wiels. 2014. Landing Gear System Case Study. In Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2--6, 2014, Proceedings. 1--18."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997384"},{"key":"e_1_3_2_1_6_1","volume-title":"Automatic Verification of BPMN Models. In 10th European Congress on Embedded Real Time Software and Systems (ERTS","author":"Brumbulli Mihal","year":"2020","unstructured":"Mihal Brumbulli , Emmanuel Gaudin , and Ciprian Teodorov . 2020 . Automatic Verification of BPMN Models. In 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020). Toulouse, France. Mihal Brumbulli, Emmanuel Gaudin, and Ciprian Teodorov. 2020. Automatic Verification of BPMN Models. In 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020). Toulouse, France."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0675-4"},{"key":"e_1_3_2_1_8_1","unstructured":"ECMA International. 2011. Standard ECMA-262 - ECMAScript Language Specification (5.1 ed.). http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-262.htm  ECMA International. 2011. Standard ECMA-262 - ECMAScript Language Specification (5.1 ed.). http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-262.htm"},{"volume-title":"2012 34th International Conference on Software Engineering (ICSE). 573--583","author":"Famelis M.","key":"e_1_3_2_1_9_1","unstructured":"M. Famelis , R. Salay , and M. Chechik . 2012. Partial models: Towards modeling and reasoning with uncertainty . In 2012 34th International Conference on Software Engineering (ICSE). 573--583 . M. Famelis, R. Salay, and M. Chechik. 2012. Partial models: Towards modeling and reasoning with uncertainty. In 2012 34th International Conference on Software Engineering (ICSE). 573--583."},{"key":"e_1_3_2_1_10_1","unstructured":"I. Fette and A. Melnikov. 2011. The WebSocket Protocol. RFC 6455. RFC Editor. http:\/\/www.rfc-editor.org\/rfc\/rfc6455.txt http:\/\/www.rfc-editor.org\/rfc\/rfc6455.txt.  I. Fette and A. Melnikov. 2011. The WebSocket Protocol. RFC 6455. RFC Editor. http:\/\/www.rfc-editor.org\/rfc\/rfc6455.txt http:\/\/www.rfc-editor.org\/rfc\/rfc6455.txt."},{"key":"e_1_3_2_1_11_1","volume-title":"Adaptive Exterior Light and Speed Control System. Case study for the ABZ 2020 conference","author":"Houdek Frank","year":"2020","unstructured":"Frank Houdek and Alexander Raschke . 2020. Adaptive Exterior Light and Speed Control System. Case study for the ABZ 2020 conference ( 2020 ). Frank Houdek and Alexander Raschke. 2020. Adaptive Exterior Light and Speed Control System. Case study for the ABZ 2020 conference (2020)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239381"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45739-9_23"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384577.2384583"},{"key":"e_1_3_2_1_15_1","unstructured":"OMG. 2017. Precise Semantics of UML State Machines. https:\/\/www.omg.org\/spec\/PSSM\/1.0\/Beta1\/PDF  OMG. 2017. Precise Semantics of UML State Machines. https:\/\/www.omg.org\/spec\/PSSM\/1.0\/Beta1\/PDF"},{"key":"e_1_3_2_1_16_1","unstructured":"OMG. 2017. Semantics of a Foundational Subset for Executable UML Models. https:\/\/www.omg.org\/spec\/FUML\/1.3\/PDF  OMG. 2017. Semantics of a Foundational Subset for Executable UML Models. https:\/\/www.omg.org\/spec\/FUML\/1.3\/PDF"},{"key":"e_1_3_2_1_17_1","unstructured":"OMG. 2017. Unified Modeling Language. https:\/\/www.omg.org\/spec\/UML\/2.5.1\/PDF  OMG. 2017. Unified Modeling Language. https:\/\/www.omg.org\/spec\/UML\/2.5.1\/PDF"},{"key":"e_1_3_2_1_18_1","unstructured":"OMG. 2019. Precise Semantics of UML Composite Structures. https:\/\/www.omg.org\/spec\/PSCS\/1.2\/PDF  OMG. 2019. Precise Semantics of UML Composite Structures. https:\/\/www.omg.org\/spec\/PSCS\/1.2\/PDF"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0608-7"},{"volume-title":"Towards Web Collaborative Modelling for the User Requirements Notation Using Eclipse Che and Theia IDE. In 2019 IEEE\/ACM 11th International Workshop on Modelling in Software Engineering (MiSE). 15--18","author":"Saini R.","key":"e_1_3_2_1_20_1","unstructured":"R. Saini , S. Bali , and G. Mussbacher . 2019 . Towards Web Collaborative Modelling for the User Requirements Notation Using Eclipse Che and Theia IDE. In 2019 IEEE\/ACM 11th International Workshop on Modelling in Software Engineering (MiSE). 15--18 . R. Saini, S. Bali, and G. Mussbacher. 2019. Towards Web Collaborative Modelling for the User Requirements Notation Using Eclipse Che and Theia IDE. In 2019 IEEE\/ACM 11th International Workshop on Modelling in Software Engineering (MiSE). 15--18."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00262-2"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0700-7"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/INES.2014.6909375"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Rob Williams. 2005. Real-Time Systems Development. Butterworth-Heinemann USA.  Rob Williams. 2005. Real-Time Systems Development. Butterworth-Heinemann USA.","DOI":"10.1016\/B978-075066471-4\/50015-3"}],"event":{"name":"MODELS '20: ACM\/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Virtual Event Canada","acronym":"MODELS '20"},"container-title":["Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365438.3410967","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365438.3410967","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:20Z","timestamp":1750203860000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365438.3410967"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,16]]},"references-count":24,"alternative-id":["10.1145\/3365438.3410967","10.1145\/3365438"],"URL":"https:\/\/doi.org\/10.1145\/3365438.3410967","relation":{},"subject":[],"published":{"date-parts":[[2020,10,16]]},"assertion":[{"value":"2020-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}