{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:13Z","timestamp":1750306933530,"version":"3.41.0"},"reference-count":43,"publisher":"Association for Computing Machinery (ACM)","issue":"1s","license":[{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000921","name":"European Cooperation in Science and Technology","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000921","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2013,3]]},"abstract":"<jats:p>This article presents FUSE, an approach for modeling and implementing embedded software components which starts from a main-stream programming language and brings some of the key concepts of Statecharts as first-class elements within this language. Our approach provides a unified programming environment which not only preserves some of the advantages of Statecharts' formal foundation but also directly supports features of object-orientation and strong typing. By specifying Statecharts directly in FUSE we eliminate the out-of-synch between the model and the generated code and we allow the tuning and debugging to be done within the same programming model. This article describes the main language constructs of FUSE and presents its semantics by translation into the Java programming language. We conclude by discussing extensions to the base language which enable the efficient static checking of program properties.<\/jats:p>","DOI":"10.1145\/2435227.2435241","type":"journal-article","created":{"date-parts":[[2013,3,19]],"date-time":"2013-03-19T13:34:23Z","timestamp":1363700063000},"page":"1-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Fusing statecharts and java"],"prefix":"10.1145","volume":"12","author":[{"given":"Maria-Cristina","family":"Marinescu","sequence":"first","affiliation":[{"name":"Universidad Carlos III, Legan\u00e9s, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9sar","family":"S\u00e1nchez","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute, Spain and Institute for Applied Physics, CSIC, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,3,21]]},"reference":[{"volume-title":"Proceedings of the Fourth World Conference on Integrated Design and Process Technology (IDPT'99)","author":"Ali J.","key":"e_1_2_1_1_1","unstructured":"Ali , J. and Tanaka , J . 1999. Converting Statecharts into Java code . In Proceedings of the Fourth World Conference on Integrated Design and Process Technology (IDPT'99) . Ali, J. and Tanaka, J. 1999. Converting Statecharts into Java code. In Proceedings of the Fourth World Conference on Integrated Design and Process Technology (IDPT'99)."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.766731"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"e_1_2_1_4_1","first-page":"162","article-title":"From synchrony to asynchrony. In Proceedings of the 10th International Conference in Concurrency Theory (CONCUR'99)","volume":"1664","author":"Beneviste A.","year":"1999","unstructured":"Beneviste , A. , Caillaud , B. , and Guernic , P. L. 1999 . From synchrony to asynchrony. In Proceedings of the 10th International Conference in Concurrency Theory (CONCUR'99) . Lecture Notes in Computer Science , vol. 1664 , Spring er, 162 -- 177 . Beneviste, A., Caillaud, B., and Guernic, P. L. 1999. From synchrony to asynchrony. In Proceedings of the 10th International Conference in Concurrency Theory (CONCUR'99). Lecture Notes in Computer Science, vol. 1664, Springer, 162--177.","journal-title":"Lecture Notes in Computer Science"},{"volume-title":"The Foundations of Esterel","author":"Berry G.","key":"e_1_2_1_5_1","unstructured":"Berry , G. 2000. The Foundations of Esterel . MIT Press . Berry, G. 2000. The Foundations of Esterel. MIT Press."},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of Practical UML-Based Rigorous Development Methods (pUML'01)","volume":"7","author":"Bj\u00f6rklund D.","unstructured":"Bj\u00f6rklund , D. , Lilius , J. , and Porres , I . 2001. Towards efficient code synthesis from statecharts . In Proceedings of Practical UML-Based Rigorous Development Methods (pUML'01) . Lecture Notes in Informatics , vol. 7 , German Informatics Society, 29--41. Bj\u00f6rklund, D., Lilius, J., and Porres, I. 2001. Towards efficient code synthesis from statecharts. In Proceedings of Practical UML-Based Rigorous Development Methods (pUML'01). Lecture Notes in Informatics, vol. 7, German Informatics Society, 29--41."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210406"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v18:5"},{"key":"e_1_2_1_9_1","first-page":"155","article-title":"Ptolemy: A framework for simulating and prototyping heterogeneous systems","volume":"4","author":"Buck J.","year":"1994","unstructured":"Buck , J. , Ha , S. , Lee , E. A. , and Messerschmitt , D. 1994 . Ptolemy: A framework for simulating and prototyping heterogeneous systems . Intl J. Comput. Simul. 4 , 2, 155 -- 182 . Buck, J., Ha, S., Lee, E. A., and Messerschmitt, D. 1994. Ptolemy: A framework for simulating and prototyping heterogeneous systems. Intl J. Comput. Simul. 4, 2, 155--182.","journal-title":"Intl J. Comput. Simul."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/646151.679360"},{"volume-title":"Version 2.1. Tech. rep., CSE","author":"Chambers C.","key":"e_1_2_1_11_1","unstructured":"Chambers , C. 1997. The Cecil language specification and rationale , Version 2.1. Tech. rep., CSE , University of Washington. http :\/\/www.cs.washington.edu\/research\/projects\/cecil\/pubs\/cecil-spec.html. Chambers, C. 1997. The Cecil language specification and rationale, Version 2.1. Tech. rep., CSE, University of Washington. http:\/\/www.cs.washington.edu\/research\/projects\/cecil\/pubs\/cecil-spec.html."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/952532.952668"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.165"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1155\/2007\/52651"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054092"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.09.001"},{"key":"e_1_2_1_18_1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma E.","year":"1995","unstructured":"Gamma , E. , Helm , R. , Johnson , R. , and Vlissides , J . 1995 . Design Patterns: Elements of Reusable Object-Oriented Software . Addison-Wesley . Gamma, E., Helm, R., Johnson, R., and Vlissides, J. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781133"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/647983.757281"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646788.703909"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/3041403.3041435"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/646847.707098"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337207"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/309847.309989"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289949"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"volume-title":"Proceedings of the Workshop of Industrial-Strength Formal Spec. Techniques (WIFT'98)","author":"Mikk E.","key":"e_1_2_1_29_1","unstructured":"Mikk , E. , Lakhnech , Y. , Siegel , M. , and Holzmann , G. J . 1998. Implementing statecharts in Promela\/Spin . In Proceedings of the Workshop of Industrial-Strength Formal Spec. Techniques (WIFT'98) . IEEE, 90--101. Mikk, E., Lakhnech, Y., Siegel, M., and Holzmann, G. J. 1998. Implementing statecharts in Promela\/Spin. In Proceedings of the Workshop of Industrial-Strength Formal Spec. Techniques (WIFT'98). IEEE, 90--101."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029006"},{"volume-title":"Proceedings of the IASTED International Conference on Software Engineering. IASTED Acta Press, 111--116","author":"Niaz I. A.","key":"e_1_2_1_31_1","unstructured":"Niaz , I. A. and Tanaka , J . 2004. Mapping UML Statecharts to Java code . In Proceedings of the IASTED International Conference on Software Engineering. IASTED Acta Press, 111--116 . Niaz, I. A. and Tanaka, J. 2004. Mapping UML Statecharts to Java code. In Proceedings of the IASTED International Conference on Software Engineering. IASTED Acta Press, 111--116."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/645867.670927"},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the Technology of Object-Oriented Langs. and Systems Conference Prentice-Hall.","author":"Ran A. S.","year":"1994","unstructured":"Ran , A. S. 1994 . Modeling states as classes . In Proceedings of the Technology of Object-Oriented Langs. and Systems Conference Prentice-Hall. Ran, A. S. 1994. Modeling states as classes. In Proceedings of the Technology of Object-Oriented Langs. and Systems Conference Prentice-Hall."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629395.1629424"},{"volume-title":"Practical Statecharts in C\/C&plus;&plus;","author":"Samek M.","key":"e_1_2_1_35_1","unstructured":"Samek , M. 2002. Practical Statecharts in C\/C&plus;&plus; . CMP Books . Samek, M. 2002. Practical Statecharts in C\/C&plus;&plus;. CMP Books."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/217838.217841"},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the 4th International Conference on the Unified Modeling Language (UML'01)","volume":"2185","author":"Sekerinski E.","unstructured":"Sekerinski , E. and Zurob , R . 2001. iState: a Statechart translator . In Proceedings of the 4th International Conference on the Unified Modeling Language (UML'01) . Lecture Notes in Computer Science , vol. 2185 . Springer, 376--390. Sekerinski, E. and Zurob, R. 2001. iState: a Statechart translator. In Proceedings of the 4th International Conference on the Unified Modeling Language (UML'01). Lecture Notes in Computer Science, vol. 2185. Springer, 376--390."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086238"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176908"},{"volume-title":"Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'01)","author":"Tomura T.","key":"e_1_2_1_40_1","unstructured":"Tomura , T. , Kanai , S. , Uehiro , K. , and Yamamoto , S . 2001. Object-oriented design pattern approach for modelling and simulating open distributed control system . In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'01) . IEEE, 211--216. Tomura, T., Kanai, S., Uehiro, K., and Yamamoto, S. 2001. Object-oriented design pattern approach for modelling and simulating open distributed control system. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'01). IEEE, 211--216."},{"key":"e_1_2_1_41_1","unstructured":"UML 2011. UML 2.0. http:\/\/www.uml.org.  UML 2011. UML 2.0. http:\/\/www.uml.org."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/646843.706613"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629366"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2435227.2435241","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2435227.2435241","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:40Z","timestamp":1750235740000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2435227.2435241"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":43,"journal-issue":{"issue":"1s","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["10.1145\/2435227.2435241"],"URL":"https:\/\/doi.org\/10.1145\/2435227.2435241","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2013,3]]},"assertion":[{"value":"2011-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-03-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}