{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:10Z","timestamp":1750307470696,"version":"3.41.0"},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2011,1,24]],"date-time":"2011-01-24T00:00:00Z","timestamp":1295827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2011,1,24]]},"abstract":"<jats:p>This paper defines formally the composite behavior of two main embedded software components; application software and platform. The two typical embedded software components interact with one another continuously to achieve the purpose of system, but they have different computation characteristics; application software is oriented to data-flow for implementing software's functionalities, whereas the platform is oriented to control-ow for the control of software's executions. Hence, it is not easy to represent those capabilities in one behavioral model to analyze their composite behaviors. Thus, this paper presents a formal modeling framework, in which application software and platforms are defined in appropriate specification language suited to their own characteristics, and their behaviors in models are composed to capture their interactive and composite behaviors in their composite executions. In particular, we focus here on defining their composite behaviors in formal way.<\/jats:p>","DOI":"10.1145\/1921532.1921562","type":"journal-article","created":{"date-parts":[[2011,2,8]],"date-time":"2011-02-08T13:21:01Z","timestamp":1297171261000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Generating composite behavior of embedded software components based on UML behavioral model and process algebra"],"prefix":"10.1145","volume":"36","author":[{"given":"Jinhyun","family":"Kim","sequence":"first","affiliation":[{"name":"Korea University, Seoul, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin-Young","family":"Choi","sequence":"additional","affiliation":[{"name":"Korea University, Seoul, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Inhye","family":"Kang","sequence":"additional","affiliation":[{"name":"University of Seoul, Seoul, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,1,24]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11526841_16"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00003930"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_2_1_4_1","unstructured":"Clemens Fischer and Graeme Smith. Combining CSP and Object-Z: Finite or in finite trace semantics? In FORTE X \/ PSTV XVII '97: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification Testing and Verification (PSTV XVII) pages 503--518 London UK UK 1998. Chapman &amp; Hall Ltd.   Clemens Fischer and Graeme Smith. Combining CSP and Object-Z: Finite or in finite trace semantics? In FORTE X \/ PSTV XVII '97: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification Testing and Verification (PSTV XVII) pages 503--518 London UK UK 1998. Chapman &amp; Hall Ltd."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081180.1081195"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2060206"},{"key":"e_1_2_1_10_1","unstructured":"Jin Hyun Kim Inhye Kang Insup Lee and Jin-Young Choi. UML behavior models of real-time embedded software for model-driven architecture. Accepted to Journal of Universal Computer Science 2010.  Jin Hyun Kim Inhye Kang Insup Lee and Jin-Young Choi. UML behavior models of real-time embedded software for model-driven architecture. Accepted to Journal of Universal Computer Science 2010."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_46"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.259433"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2007.02.005"},{"key":"e_1_2_1_15_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-36103-0_14","volume-title":"Formal Methods and Software Engineering","author":"Smith Graeme","year":"2002"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1898953.1899118"},{"volume-title":"Woodcock and ALC Cavalcanti. A Concurrent Language for Refinement. In 5th Irish Workshop on Formal Methods, unknown","year":"2001","author":"JCP","key":"e_1_2_1_17_1"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9036-z"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1921532.1921562","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1921532.1921562","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:41Z","timestamp":1750248521000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1921532.1921562"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,24]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,1,24]]}},"alternative-id":["10.1145\/1921532.1921562"],"URL":"https:\/\/doi.org\/10.1145\/1921532.1921562","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2011,1,24]]},"assertion":[{"value":"2011-01-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}