{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:09:44Z","timestamp":1743091784078,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031479625"},{"type":"electronic","value":"9783031479632"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-47963-2_12","type":"book-chapter","created":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T21:41:26Z","timestamp":1700689286000},"page":"178-195","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formal Language Semantics for\u00a0Triggered Enable Statecharts with\u00a0a\u00a0Run-to-Completion Scheduling"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0146-3176","authenticated-orcid":false,"given":"Karla Vanessa","family":"Morris Wright","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4095-0732","authenticated-orcid":false,"given":"Thai Son","family":"Hoang","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0210-0983","authenticated-orcid":false,"given":"Colin","family":"Snook","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4642-5373","authenticated-orcid":false,"given":"Michael","family":"Butler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,23]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"issue":"6","key":"12_CR2","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Softw. Tools Technol. Transf. 12(6), 447\u2013466 (2010)","journal-title":"Softw. Tools Technol. Transf."},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-319-42816-1_5","volume-title":"Multimodal Interaction with W3C Standards","author":"J Barnett","year":"2017","unstructured":"Barnett, J.: Introduction to SCXML. In: Dahl, D.A. (ed.) Multimodal Interaction with W3C Standards, pp. 81\u2013107. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-42816-1_5"},{"issue":"3","key":"12_CR4","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.scico.2008.09.001","volume":"74","author":"R Eshuis","year":"2009","unstructured":"Eshuis, R.: Reconciling statechart semantics. Sci. Comput. Program. 74(3), 65\u201399 (2009)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"12_CR5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"doi-asserted-by":"crossref","unstructured":"Harel, D., Gery, E.: Executable object modeling with statecharts. In: Proceedings of IEEE 18th International Conference on Software Engineering, pp. 246\u2013257. IEEE (1996)","key":"12_CR6","DOI":"10.1109\/ICSE.1996.493420"},{"doi-asserted-by":"crossref","unstructured":"Hoang, T.S., Dghaym, D., Snook, C., Butler, M.: A composition mechanism for refinement-based methods. In: 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 100\u2013109 (2017)","key":"12_CR7","DOI":"10.1109\/ICECCS.2017.27"},{"doi-asserted-by":"publisher","unstructured":"Hoang, T.S., Snook, C., Morris, K., Butler, M.: SCXML semantics model in Event-B (2023). https:\/\/doi.org\/10.5258\/SOTON\/D2791","key":"12_CR8","DOI":"10.5258\/SOTON\/D2791"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-031-26236-4_11","volume-title":"Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops","author":"TS Hoang","year":"2023","unstructured":"Hoang, T.S., Snook, C., Dghaym, D., Fathabadi, A.S., Butler, M.: Building an extensible textual framework for the rodin platform. In: Masci, P., Bernardeschi, C., Graziani, P., Koddenbrock, M., Palmieri, M. (eds.) SEFM 2022. LNCS, vol. 13765, pp. 132\u2013147. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-26236-4_11"},{"issue":"6","key":"12_CR10","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/357474.355062","volume":"25","author":"G L\u00fcttgen","year":"2000","unstructured":"L\u00fcttgen, G., von der Beeck, M., Cleaveland, R.: A compositional approach to statecharts semantics. SIGSOFT Softw. Eng. Notes 25(6), 120\u2013129 (2000)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"12_CR11","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-030-12988-0_8","volume-title":"Formal Techniques for Safety-Critical Systems","author":"K Morris","year":"2019","unstructured":"Morris, K., Snook, C., Hoang, T.S., Armstrong, R., Butler, M.: Refinement of statecharts with run-to-completion semantics. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2018. CCIS, vol. 1008, pp. 121\u2013138. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-12988-0_8"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-030-48077-6_23","volume-title":"Rigorous State-Based Methods","author":"K Morris","year":"2020","unstructured":"Morris, K., Snook, C., Hoang, T.S., Hulette, G., Armstrong, R., Butler, M.: Refinement and verification of responsive control systems. In: Raschke, A., M\u00e9ry, D., Houdek, F. (eds.) ABZ 2020. LNCS, vol. 12071, pp. 272\u2013277. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-48077-6_23"},{"issue":"4","key":"12_CR13","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/s11334-021-00416-4","volume":"18","author":"K Morris","year":"2022","unstructured":"Morris, K., Snook, C.F., Hoang, T.S., Hulette, G.C., Armstrong, R.C., Butler, M.J.: Formal verification and validation of run-to-completion style state charts using Event-B. Innov. Syst. Softw. Eng. 18(4), 523\u2013541 (2022)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-031-26236-4_16","volume-title":"Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops","author":"CF Snook","year":"2023","unstructured":"Snook, C.F., Butler, M.J., Hoang, T.S., Fathabadi, A.S., Dghaym, D.: Developing the UML-B modelling tools. In: Masci, P., Bernardeschi, C., Graziani, P., Koddenbrock, M., Palmieri, M. (eds.) SEFM 2022. LNCS, vol. 13765, pp. 181\u2013188. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-26236-4_16"},{"unstructured":"W3C. SCXML specification website (2015). http:\/\/www.w3.org\/TR\/scxml\/","key":"12_CR15"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2023"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-47963-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,2]],"date-time":"2024-11-02T19:48:13Z","timestamp":1730576893000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-47963-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031479625","9783031479632"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-47963-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"23 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lima","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Peru","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 December 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ictac2023.compsust.utec.edu.pe\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}