{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,18]],"date-time":"2026-09-18T15:11:58Z","timestamp":1789744318157,"version":"4.0.1"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319947631","type":"print"},{"value":"9783319947648","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-94764-8_13","type":"book-chapter","created":{"date-parts":[[2018,7,7]],"date-time":"2018-07-07T13:03:35Z","timestamp":1530968615000},"page":"300-327","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Framework for UML-Based Component-Based Design and Code Generation for Reactive Systems"],"prefix":"10.1007","author":[{"given":"Van Cam","family":"Pham","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ansgar","family":"Radermacher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S\u00e9bastien","family":"G\u00e9rard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shuai","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,7,8]]},"reference":[{"key":"13_CR1","unstructured":"OMG Available Specification without Change Bars. OMG Unified Modeling Language (OMG UML), pp. 1\u2013212 (2007)"},{"key":"13_CR2","unstructured":"Posse, E.: PapyrusRT: modelling and code generation (invited presentation). In: Proceedings of the International Workshop on Open Source Software for Model Driven Engineering Co-located with ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, 29 September 2015, pp. 54\u201363 (2015)"},{"key":"13_CR3","unstructured":"IBM: IBM Rhapsody (2016). Accessed 4 July 2016"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-319-11653-2_12","volume-title":"Model-Driven Engineering Languages and Systems","author":"G Mussbacher","year":"2014","unstructured":"Mussbacher, G., et al.: The relevance of model-driven engineering thirty years from now. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 183\u2013200. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11653-2_12"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.scico.2013.03.017","volume":"89","author":"J Whittle","year":"2014","unstructured":"Whittle, J., Hutchinson, J., Rouncefield, M.: Model-driven engineering practices in industry: social, organizational and managerial factors that lead to success or failure. Sci. Comput. Program. 89, 144\u2013161 (2014)","journal-title":"Sci. Comput. Program."},{"key":"13_CR6","unstructured":"Forward, A., Lethbridge, T.C., Badreddin, O.: Perceptions of software modeling: a survey of software practitioners. In: 5th Workshop from Code Centric to Model Centric: Evaluating the Effectiveness of MDD (C2M: EEMDD). Citeseer (2010). http:\/\/www.esi.es\/modelplex\/c2m\/papers.php"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Badreddin, O., Lethbridge, T.C., Forward, A., Elaasar, M., Aljamaan, H., Garzon, M.A.: Enhanced code generation from UML composite state machines. In: 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 235\u2013245. IEEE (2014)","DOI":"10.5220\/0004699602350245"},{"key":"13_CR8","unstructured":"IBM: IBM Rhapshody and UML Differences (2016). http:\/\/www-01.ibm.com\/support\/docview.wss?uid=swg27040251 . Accessed 4 July 2016"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/978-1-4020-6268-1_75","volume-title":"Innovations and Advanced Techniques in Computer and Information Sciences and Engineering","author":"R Pilitowski","year":"2007","unstructured":"Pilitowski, R., Derezi\u00f1ska, A.: Code Generation and Execution Framework for UML 2.0 Classes and State Machines. In: Sobh, T. (ed.) Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, pp. 421\u2013427. Springer, Dordrecht (2007). https:\/\/doi.org\/10.1007\/978-1-4020-6268-1_75"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Charfi, A., Mraidha, C., Boulet, P.: An optimized compilation of UML state machines. In: 2012 IEEE 15th International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing, pp. 172\u2013179 (2012)","DOI":"10.1109\/ISORC.2012.30"},{"key":"13_CR11","unstructured":"OMG: Precise Semantics of UML State Machines (PSSM) Revised Submission (2016). Revised Submission, ad\/16-11-01"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Pham, V.C., Radermacher, A., G\u00e9rard, S., Li, S.: Complete code generation from UML state machine. In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, 19\u201321 February 2017, pp. 208\u2013219 (2017)","DOI":"10.5220\/0006274502080219"},{"key":"13_CR13","unstructured":"OMG: A UML Profile for MARTE: Modeling and Analysis of Real- Time Embedded Systems, version 1.1 formal\/2011-06-02 (2011)"},{"key":"13_CR14","volume-title":"Programming with POSIX Threads","author":"DR Butenhof","year":"1997","unstructured":"Butenhof, D.R.: Programming with POSIX Threads. Addison-Wesley Professional, Boston (1997)"},{"key":"13_CR15","unstructured":"Niaz, I.A., Tanaka, J., et al.: Mapping UML statecharts to Java code. In: IASTED Conference on Software Engineering, pp. 111\u2013116 (2004)"},{"key":"13_CR16","unstructured":"Shalyto, A., Shamgunov, N.: State machine design pattern. In: Proceedings of the 4th International Conference on .NET Technologies (2006)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"1726","DOI":"10.1016\/j.infsof.2013.03.005","volume":"55","author":"V Spinke","year":"2013","unstructured":"Spinke, V.: An object-oriented implementation of concurrent and hierarchical state machines. Inf. Softw. Technol. 55, 1726\u20131740 (2013)","journal-title":"Inf. Softw. Technol."},{"key":"13_CR18","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, vol. 3 (1998)"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/978-3-540-30482-1_36","volume-title":"Formal Methods and Software Engineering","author":"M Balser","year":"2004","unstructured":"Balser, M., B\u00e4umler, S., Knapp, A., Reif, W., Thums, A.: Interactive verification of UML state machines. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 434\u2013448. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30482-1_36"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Knapp, A.: Semantics of UML State Machines (2004)","DOI":"10.1007\/978-3-540-27815-3_23"},{"key":"13_CR21","unstructured":"LISE: Papyrus Software Designer. https:\/\/wiki.eclipse.org\/Papyrus_Software_Designer"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-642-16277-0_19","volume-title":"Model-Based Engineering of Embedded Real-Time Systems","author":"S G\u00e9rard","year":"2010","unstructured":"G\u00e9rard, S., Dumoulin, C., Tessier, P., Selic, B.: 19 papyrus: a UML2 tool for domain-specific language modeling. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Sch\u00e4tz, B. (eds.) MBEERTS 2007. LNCS, vol. 6100, pp. 361\u2013368. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16277-0_19"},{"key":"13_CR23","unstructured":"Papyrus: Moka Model Execution (2016). https:\/\/wiki.eclipse.org\/Papyrus\/UserGuide\/ModelExecution . Accessed 1 Nov 2016"},{"key":"13_CR24","unstructured":"Blech, J.O., Glesner, S.: Formal verification of Java code generation from UML models. In: Proceedings of the 3rd International Fujaba Days, pp. 49\u201356 (2005)"},{"key":"13_CR25","unstructured":"Boost Library: Boost C++ (2016). http:\/\/www.boost.org\/ . Accessed 4 July 2016"},{"key":"13_CR26","unstructured":"Jusiak, K.: State Machine Benchmark (2016). https:\/\/github.com\/boost-experimental . Accessed 20 Oct 2016"},{"key":"13_CR27","unstructured":"Magic, N.: Magic Draw (2016). https:\/\/www.nomagic.com\/products\/magicdraw.html . Accessed 14 Mar 2016"},{"key":"13_CR28","unstructured":"SparxSysems: Enterprise Architect (2016). http:\/\/www.sparxsystems.com\/products\/ea\/ . Accessed 14 Mar 2016"},{"key":"13_CR29","unstructured":"Quantum Leaps: Quantum Modeling (2016). http:\/\/www.state-machine.com\/qm\/ . Accessed 14 May 2016"},{"key":"13_CR30","unstructured":"Lavender, R.G., Schmidt, D.C.: Active object. Context, pp. 1\u201312 (1996)"},{"key":"13_CR31","unstructured":"Boost Library: The Boost Statechart Library (2016). Accessed 4 July 2016"},{"key":"13_CR32","unstructured":"Boost Library: Meta State Machine (2016). http:\/\/www.boost.org\/doc\/libs\/1_59_0_b1\/libs\/msm\/doc\/HTML\/index.html . Accessed 4 July 2016"},{"key":"13_CR33","unstructured":"Boost Library: State Machine Benchmark (2016). http:\/\/www.boost.org\/doc\/libs\/1_61_0\/libs\/msm\/doc\/HTML\/ch03s04.html"},{"key":"13_CR34","unstructured":"Valgrind: Valgrind Massif (2016). http:\/\/valgrind.org\/docs\/manual\/ms-manual.html . Accessed 20 Nov 2016"},{"issue":"6","key":"13_CR35","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/1273442.1250746","volume":"42","author":"Nicholas Nethercote","year":"2007","unstructured":"Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. In: ACM SIGPLAN Notices, vol. 42, pp. 89\u2013100. ACM (2007)","journal-title":"ACM SIGPLAN Notices"},{"key":"13_CR36","unstructured":"Katz, R.H., Borriello, G.: Contemporary Logic Design (2005)"},{"key":"13_CR37","unstructured":"Yasmine: The classic farmroad example (2016). http:\/\/yasmine.seadex.de\/yasmine.html . Accessed 20 Nov 2016"},{"key":"13_CR38","unstructured":"LEGO Car Factory. http:\/\/robotics.benedettelli.com\/lego-car-factory\/ . Accessed 22 Mar 2017"},{"issue":"10","key":"13_CR39","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1016\/j.infsof.2012.04.008","volume":"54","author":"E Dom\u00ednguez","year":"2012","unstructured":"Dom\u00ednguez, E., P\u00e9rez, B., Rubio, A.L., Zapata, M.A.: A systematic review of code generation proposals from state machine specifications. Inf. Softw. Technol. 54(10), 1045\u20131066 (2012)","journal-title":"Inf. Softw. Technol."},{"key":"13_CR40","unstructured":"Douglass, B.P.: Real-Time UML: Developing Efficient Objects for Embedded Systems (1999)"},{"key":"13_CR41","unstructured":"SparxSystems: Enterprise Architect (2016). http:\/\/www.sparxsystems.eu\/start\/home\/ . Accessed 20 Nov 2016"},{"key":"13_CR42","doi-asserted-by":"crossref","unstructured":"Harrand, N., Fleurey, F., Morin, B., Husa, K.E.: ThingML: a language and code generation framework for heterogeneous targets. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, pp. 125\u2013135. ACM (2016)","DOI":"10.1145\/2976767.2976812"},{"key":"13_CR43","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling, vol. 2 (1994)"},{"key":"13_CR44","unstructured":"Cheng, S.W., Garlan, D.: Mapping Architectural Concepts to UML-RT (2001)"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94764-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T16:52:08Z","timestamp":1751734328000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94764-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319947631","9783319947648"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94764-8_13","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}