{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T01:29:45Z","timestamp":1772501385090,"version":"3.50.1"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,11,28]],"date-time":"2020-11-28T00:00:00Z","timestamp":1606521600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,11,28]],"date-time":"2020-11-28T00:00:00Z","timestamp":1606521600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,11,28]],"date-time":"2020-11-28T00:00:00Z","timestamp":1606521600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,11,28]]},"DOI":"10.1109\/icaase51408.2020.9380117","type":"proceedings-article","created":{"date-parts":[[2021,3,19]],"date-time":"2021-03-19T20:47:02Z","timestamp":1616186822000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["A software development process based on UML state machines"],"prefix":"10.1109","author":[{"given":"Eric","family":"Cariou","sequence":"first","affiliation":[]},{"given":"Lea","family":"Brunschwig","sequence":"additional","affiliation":[]},{"given":"Olivier","family":"Le Goaer","sequence":"additional","affiliation":[]},{"given":"Franck","family":"Barbier","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"A generic solution for weaving business code into executable models","author":"cariou","year":"2018","journal-title":"The 4th International Workshop on Executable Modeling at MODELS (EXE 2018) vol 2245 CEUR Workshop Proceedings"},{"key":"ref11","year":"2015","journal-title":"Business Process Model and Notation (BPMN) Version 2 0 Specification"},{"key":"ref12","article-title":"On the Executable Nature of Models","author":"cariou","year":"2016","journal-title":"The 2nd International Workshop on Executable Modeling at MODELS (EXE 2016) vol 1760 CEUR Workshop Proceedings"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997384"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2872585"},{"key":"ref15","year":"2015","journal-title":"Xml metadata interchange (xmi) specification version 2 5 1"},{"key":"ref16","year":"0","journal-title":"YAKINDU Statechart Tools Web site"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/2.596624"},{"key":"ref18","author":"de maio","year":"2014","journal-title":"jBPM6 Developer Guide"},{"key":"ref19","year":"2015","journal-title":"State Chart XML (SCXML) State Machine Notation for Control Abstraction recommendation 1"},{"key":"ref4","author":"steinberg","year":"2008","journal-title":"EMF Eclipse Modeling Framework"},{"key":"ref3","year":"2016","journal-title":"Meta Object Facility (MOF) Specification Version 1 3"},{"key":"ref6","year":"2017","journal-title":"Action Language for Foundational UML Specification Version 1 1"},{"key":"ref5","year":"2018","journal-title":"Semantics of A Foundational Subset for Executable Uml Models Specification Version 1 0"},{"key":"ref8","year":"2019","journal-title":"Precise Semantics of UML State Machines (PSSM) Specification version 1 0"},{"key":"ref7","year":"2019","journal-title":"Precise Semantics of UML Composite Structures (PSCS) Specification version 1 2"},{"key":"ref2","year":"2014","journal-title":"Object Constraint Language (OCL) Specification version 2 0"},{"key":"ref1","year":"2017","journal-title":"Unified Modeling Language Specification Version 1 5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-11030-7_1"},{"key":"ref20","article-title":"Energized State Charts with PauWare","author":"barbier","year":"0","journal-title":"2nd Workshop on Engineering Interactive Systems with SCXML at EICS 2015"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1016\/j.micpro.2018.05.010","article-title":"The MegaMRt2 ECSEL project: MegaModelling at Runtime Scalable model-based framework for continuous development and runtime validation of complex systems","author":"afzal","year":"2018","journal-title":"Microprocessors and Microsystems Embedded Hardware Design"},{"key":"ref21","year":"0","journal-title":"SCION a suite of software for standard state machine support"}],"event":{"name":"2020 International Conference on Advanced Aspects of Software Engineering (ICAASE)","location":"Constantine, Algeria","start":{"date-parts":[[2020,11,28]]},"end":{"date-parts":[[2020,11,30]]}},"container-title":["2020 International Conference on Advanced Aspects of Software Engineering (ICAASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9380088\/9380101\/09380117.pdf?arnumber=9380117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T00:20:00Z","timestamp":1656375600000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9380117\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,28]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icaase51408.2020.9380117","relation":{},"subject":[],"published":{"date-parts":[[2020,11,28]]}}}