{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T13:15:10Z","timestamp":1765372510038,"version":"3.46.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,13]]},"DOI":"10.1145\/3761668.3761707","type":"proceedings-article","created":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T07:46:32Z","timestamp":1765352792000},"page":"258-264","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Introducing a variant history protocol in the presence of state behavior in UML state machines"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-1838-0071","authenticated-orcid":false,"given":"Constantinos","family":"Constantinides","sequence":"first","affiliation":[{"name":"Department of Computer Science and Software Engineering, Concordia University, Montreal, Quebec, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-1740-8819","authenticated-orcid":false,"given":"Ali","family":"Jannatpour","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Software Engineering, Concordia University, Montreal, Quebec, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,12,9]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"Bernhard Beckert UML State Machines Lecture notes Universit\u00e4t Koblenz-Landau."},{"key":"e_1_3_3_1_3_2","unstructured":"Object Management Group Unified Modeling Language (UML) Version 2.5.1 Dec. 2017."},{"key":"e_1_3_3_1_4_2","unstructured":"Arthur Gill Introduction to the Theory of Finite-state Machines McGraw-Hill Electronic Science Series 1962."},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"David Harel Statecharts: A Visual Formalism for Complex Systems Sci. Comput. Program. 8(3) 231\u2013274 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"David Harel On visual formalisms In Communications of the ACM Volume 31 Number 5 May 1988 pp. 514 - 530.","DOI":"10.1145\/42411.42414"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"Sanford Friedenthal Alan Moore Rick Steiner A Practical Guide to SysML (Third Edition) pp. 273 - 294 Morgan Kaufmann 2015.","DOI":"10.1016\/B978-0-12-800202-5.00011-4"},{"key":"e_1_3_3_1_8_2","unstructured":"Andreas Podeski Hierarchical State Machines Lecture notes Albert-Ludwigs-Universit\u00e4t Freiburg 2015."},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Vangalur S. Alagar and K. Periyasamy Specification of Software Systems Springer 2011.","DOI":"10.1007\/978-0-85729-277-3"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Murray Shanahan The Event Calculus Explained. In: Wooldridge M.J. Veloso M. (eds) Artificial Intelligence Today. Lecture Notes in Computer Science vol 1600. Springer Berlin Heidelberg 1999.","DOI":"10.1007\/3-540-48317-9_17"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Robert Kowalski and Marek Sergot A Logic-based Calculus of Events New Generation Computing Vol. 4 pp. 67\u201394 1986.","DOI":"10.1007\/BF03037383"},{"key":"e_1_3_3_1_12_2","unstructured":"John E. Hopcroft and Jeffrey D. Ullman Introduction to Automata Theory Languages and Computation Addison-Wesley 1979."}],"event":{"name":"ICCMS 2025: 2025 The 17th International Conference on Computer Modeling and Simulation (ICCMS)","location":"Zhuhai China","acronym":"ICCMS 2025"},"container-title":["Proceedings of the 2025 17th International Conference on Computer Modeling and Simulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3761668.3761707","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T11:09:31Z","timestamp":1765364971000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3761668.3761707"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,13]]},"references-count":11,"alternative-id":["10.1145\/3761668.3761707","10.1145\/3761668"],"URL":"https:\/\/doi.org\/10.1145\/3761668.3761707","relation":{},"subject":[],"published":{"date-parts":[[2025,6,13]]},"assertion":[{"value":"2025-12-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}