{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:19:51Z","timestamp":1743081591188,"version":"3.40.3"},"publisher-location":"Cham","reference-count":73,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031521829"},{"type":"electronic","value":"9783031521836"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-52183-6_9","type":"book-chapter","created":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T18:03:10Z","timestamp":1705082590000},"page":"168-193","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Aspects of\u00a0Component Software"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9771-3071","authenticated-orcid":false,"given":"Zhiming","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiadong","family":"Teng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9026-2543","authenticated-orcid":false,"given":"Bo","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,13]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)","DOI":"10.1017\/CBO9781139195881"},{"issue":"5","key":"9_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L de Alfaro","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes 26(5), 109\u2013120 (2001)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Arbab, F.: Coordinated composition of software components. In: Liu, Z., He, J. (eds.) Mathematical Frameworks for Component Software, pp. 35\u201368. World Scientific (2006)","DOI":"10.1142\/9789812772831_0002"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-40914-2","volume-title":"Formal Aspects of Component Software","year":"2020","unstructured":"Arbab, F., Jongmans, S.-S. (eds.): FACS 2019. LNCS, vol. 12018. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-40914-2"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35743-5","volume-title":"Formal Aspects of Component Software","year":"2012","unstructured":"Arbab, F., \u00d6lveczky, P.C. (eds.): FACS 2011. LNCS, vol. 7253. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-35743-5"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02146-7","volume-title":"Formal Aspects of Component Software","year":"2018","unstructured":"Bae, K., \u00d6lveczky, P.C. (eds.): FACS 2018. LNCS, vol. 11222. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02146-7"},{"key":"9_CR7","unstructured":"Baeten, J.C.M., Bravetti, M.: A generic process algebra. In: Algebraic Process Calculi: The First Twenty Five Years and Beyond. BRICS Notes Series NS-05-3 (2005)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27269-1","volume-title":"Formal Aspects of Component Software","year":"2012","unstructured":"Barbosa, L.S., Lumpe, M. (eds.): FACS 2010. LNCS, vol. 6921. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-27269-1"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-28934-2","volume-title":"Formal Aspects of Component Software","year":"2016","unstructured":"Braga, C., \u00d6lveczky, P.C. (eds.): FACS 2015. LNCS, vol. 9539. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-28934-2"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Broy, M.: A theory for requirements specifications and architecture design. In: Liu, Z., He, J. (eds.) Mathematical Frameworks for Component Software, pp. 119\u2013154. World Scientific (2006)","DOI":"10.1142\/9789812772831_0004"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-10699-5_101","volume-title":"Formalization of Programming Concepts","author":"M Broy","year":"1981","unstructured":"Broy, M., Wirsing, M.: On the algebraic extensions of abstract data types. In: D\u00edaz, J., Ramos, I. (eds.) ICFPC 1981. LNCS, vol. 107, pp. 244\u2013251. Springer, Heidelberg (1981). https:\/\/doi.org\/10.1007\/3-540-10699-5_101"},{"key":"9_CR12","unstructured":"Canal, C., Pasareanu, C.S. (eds.): Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, 10\u201312 September 2008, Electronic Notes in Theoretical Computer Science, vol. 260. Elsevier (2010). https:\/\/www.sciencedirect.com\/journal\/electronic-notes-in-theoretical-computer-science\/vol\/260\/suppl\/C"},{"key":"9_CR13","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1007\/978-3-540-69507-3_71","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"X Chen","year":"2007","unstructured":"Chen, X., Liu, Z., Mencl, V.: Separation of concerns and consistent integration in requirements modelling. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 819\u2013831. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-69507-3_71"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-85289-6_6","volume-title":"The Common Component Modeling Example","author":"Z Chen","year":"2008","unstructured":"Chen, Z., et al.: Modelling with relational calculus of object and component systems - rCOS. In: Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F. (eds.) The Common Component Modeling Example. LNCS, vol. 5153, pp. 116\u2013145. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85289-6_6"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-75221-9_5","volume-title":"Formal Methods and Hybrid Real-Time Systems","author":"Z Chen","year":"2007","unstructured":"Chen, Z., Li, X., Liu, Z., Stolz, V., Yang, L.: Harnessing rCOS for tool support\u2014the CoCoME experience. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) Formal Methods and Hybrid Real-Time Systems. LNCS, vol. 4700, pp. 83\u2013114. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75221-9_5"},{"issue":"4","key":"9_CR17","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.scico.2008.08.003","volume":"74","author":"Z Chen","year":"2009","unstructured":"Chen, Z., Liu, Z., Ravn, A.P., Stolz, V., Zhan, N.: Refinement and verification in component-based model driven design. Sci. Comput. Program. 74(4), 168\u2013196 (2009)","journal-title":"Sci. Comput. Program."},{"key":"9_CR18","unstructured":"Dahl, O., Dijkstra, E., Hoare, C.: Structured Programming. Academic Press, Cambridge (1972)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07602-7","volume-title":"Formal Aspects of Component Software","year":"2014","unstructured":"Fiadeiro, J.L., Liu, Z., Xue, J. (eds.): FACS 2013. LNCS, vol. 8348. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07602-7"},{"key":"9_CR20","volume-title":"Smalltalk-80: The Language and Its Implementation","author":"A Goldberg","year":"1983","unstructured":"Goldberg, A., Robson, D.: Smalltalk-80: The Language and Its Implementation. Addison-Wesley Longman Publishing Co. Inc., Boston (1983)"},{"key":"9_CR21","unstructured":"He, J.: From CSP to hybrid systems. In: The Proceedings of A Classical Mind: Essays in Honour of C. A. R. Hoare. Prentice-Hall (1994)"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.entcs.2006.05.022","volume":"160","author":"J He","year":"2006","unstructured":"He, J., Li, X., Liu, Z.: A theory of reactive components. Electr. Notes Theor. Comput. Sci. 160, 173\u2013195 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1\u20132","key":"9_CR23","first-page":"109","volume":"365","author":"J He","year":"2006","unstructured":"He, J., Liu, Z., Li, X.: rCOS: a refinement calculus of object systems. Theoret. Comput. Sci. 365(1\u20132), 109\u2013142 (2006)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"9_CR24","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1006\/inco.1994.1060","volume":"112","author":"TA Henzinger","year":"1994","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: Temporal proof methodologies for timed transition systems. Inf. Comput. 112(2), 273\u2013337 (1994)","journal-title":"Inf. Comput."},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-85289-6_3","volume-title":"The Common Component Modeling Example","author":"S Herold","year":"2008","unstructured":"Herold, S., et al.: CoCoME - the common component modeling example. In: Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F. (eds.) The Common Component Modeling Example. LNCS, vol. 5153, pp. 16\u201353. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85289-6_3"},{"issue":"10","key":"9_CR26","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"issue":"8","key":"9_CR27","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Holmegaard, J.P., Knudsen, J., Makowski, P., Ravn, A.P.: Formalisization in component-based developmen. In: Liu, Z., He, J. (eds.) Mathematical Frameworks for Component Software, pp. 271\u2013295. World Scientific (2006)","DOI":"10.1142\/9789812772831_0009"},{"issue":"1","key":"9_CR29","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s11704-012-1307-8","volume":"7","author":"W Ke","year":"2013","unstructured":"Ke, W., Liu, Z., Wang, S., Zhao, L.: A graph-based generic type system for object-oriented programs. Front. Comput. Sci. 7(1), 109\u2013134 (2013)","journal-title":"Front. Comput. Sci."},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57666-4","volume-title":"Formal Aspects of Component Software","year":"2017","unstructured":"Kouchnarenko, O., Khosravi, R. (eds.): FACS 2016. LNCS, vol. 10231. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57666-4"},{"issue":"3","key":"9_CR31","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst. 16(3), 872\u2013923 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15317-9","volume-title":"Formal Aspects of Component Software","year":"2015","unstructured":"Lanese, I., Madelaine, E. (eds.): FACS 2014. LNCS, vol. 8997. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15317-9"},{"key":"9_CR33","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process","author":"C Larman","year":"2001","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, 2nd edn. Prentice-Hall, Upper Saddle River (2001)","edition":"2"},{"key":"9_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-35743-5_7","volume-title":"Formal Aspects of Component Software","author":"D Li","year":"2012","unstructured":"Li, D., Li, X., Liu, Z., Stolz, V.: Interactive transformations from object-oriented models to component-based models. In: Arbab, F., \u00d6lveczky, P.C. (eds.) FACS 2011. LNCS, vol. 7253, pp. 97\u2013114. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-35743-5_7"},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"Li, X., Liu, Z., He, J.: A formal semantics of UML sequence diagram. In: 15th Australian Software Engineering Conference (ASWEC 2004), 13\u201316 April 2004, Melbourne, Australia, pp. 168\u2013177. IEEE Computer Society (2004)","DOI":"10.1109\/ASWEC.2004.1290469"},{"key":"9_CR36","unstructured":"Liu, Z.: Software development with UML. Technical report 259, IIST, United Nations University, P.O. Box 3058, Macao (2002)"},{"key":"9_CR37","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-031-40436-8_3","volume-title":"Theories of Programming and Formal Methods","author":"Z Liu","year":"2023","unstructured":"Liu, Z.: Linking formal methods in software development - a reflection on the development of rCOS. In: Bowen, J., Li, Q., Xu, Q. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 14080, pp. 52\u201384. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-40436-8_3"},{"key":"9_CR38","doi-asserted-by":"crossref","unstructured":"Liu, Z., Barbosa, L.S. (eds.): Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, 24\u201325 October 2005. Electronic Notes in Theoretical Computer Science, vol. 160. Elsevier (2006). https:\/\/www.sciencedirect.com\/journal\/electronic-notes-in-theoretical-computer-science\/vol\/160\/suppl\/C","DOI":"10.1016\/j.entcs.2006.05.011"},{"key":"9_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-030-55089-9_5","volume-title":"Engineering Trustworthy Software Systems","author":"Z Liu","year":"2020","unstructured":"Liu, Z., Bowen, J.P., Liu, B., Tyszberowicz, S., Zhang, T.: Software abstractions and human-cyber-physical systems architecture modelling. In: Bowen, J.P., Liu, Z., Zhang, Z. (eds.) SETSS 2019. LNCS, vol. 12154, pp. 159\u2013219. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55089-9_5"},{"key":"9_CR40","series-title":"NASA Monographs in Systems and Software Engineering","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-319-48628-4_6","volume-title":"Provably Correct Systems","author":"X Chen","year":"2017","unstructured":"Chen, X., Liu, Z.: Towards interface-driven design of evolving component-based architectures. In: Hinchey, M.G., Bowen, J.P., Olderog, E.-R. (eds.) Provably Correct Systems. NMSSE, pp. 121\u2013148. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-48628-4_6"},{"key":"9_CR41","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/1-4020-8141-3_28","volume-title":"Exploring New Frontiers of Theoretical Informatics","author":"Z Liu","year":"2004","unstructured":"Liu, Z., Jifeng, H., Li, X.: Contract oriented development of component software. In: Levy, J.-J., Mayr, E.W., Mitchell, J.C. (eds.) TCS 2004. IIFIP, vol. 155, pp. 349\u2013366. Springer, Boston, MA (2004). https:\/\/doi.org\/10.1007\/1-4020-8141-3_28"},{"key":"9_CR42","doi-asserted-by":"crossref","unstructured":"Liu, Z., He, J., Li, X.: rCOS: a relational calculus for components. In: Liu, Z., He, J. (eds.) Mathematical Frameworks for Component Software, pp. 207\u2013238. World Scientific (2006)","DOI":"10.1142\/9789812772831_0007"},{"key":"9_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/978-3-540-39893-6_36","volume-title":"Formal Methods and Software Engineering","author":"Z Liu","year":"2003","unstructured":"Liu, Z., Jifeng, H., Li, X., Chen, Y.: A relational model for formal object-oriented requirement analysis in UML. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol. 2885, pp. 641\u2013664. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39893-6_36"},{"key":"9_CR44","doi-asserted-by":"crossref","unstructured":"Liu, Z., Jifeng, H. (eds.): Mathematical Frameworks for Component Software. World Scientific (2006)","DOI":"10.1142\/6231"},{"issue":"1","key":"9_CR45","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/314602.314605","volume":"21","author":"Z Liu","year":"1999","unstructured":"Liu, Z., Joseph, M.: Specification and verification of fault-tolerance, timing, and scheduling. ACM Trans. Program. Lang. Syst. 21(1), 46\u201389 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR46","unstructured":"Liu, Z., Kang, E., Zhan, N.: Composition and refinement of components. In: Butterfield, A. (ed.) Post Event Proceedings of UTP08. LNCS, vol. 5713. Springer, Berlin (2009)"},{"key":"9_CR47","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-540-88479-8_24","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"Z Liu","year":"2008","unstructured":"Liu, Z., Morisset, C., Stolz, V.: A component-based access control monitor. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 339\u2013353. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88479-8_24"},{"key":"9_CR48","unstructured":"Liu, Z., Stolz, V.: The rCOS method in a nutshell. In: Fitzgerald, J., Larsen, P.G., Sahara, S. (eds.) Modelling and Analysis in VDM: Proceedings of the Fourth VDM\/Overture Workshop. No. CS-TR-1099 in Technical Report Series, Newcastle University (2008)"},{"issue":"11","key":"9_CR49","doi-asserted-by":"publisher","first-page":"1535","DOI":"10.1631\/FITEE.2000537","volume":"21","author":"Z Liu","year":"2020","unstructured":"Liu, Z., Wang, J.: Human-cyber-physical systems: concepts, challenges, and research opportunities. Frontiers Inf. Technol. Electron. Eng. 21(11), 1535\u20131553 (2020)","journal-title":"Frontiers Inf. Technol. Electron. Eng."},{"key":"9_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29628-9","volume-title":"Engineering Trustworthy Software Systems","year":"2016","unstructured":"Liu, Z., Zhang, Z. (eds.): SETSS 2014. LNCS, vol. 9506. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-29628-9"},{"key":"9_CR51","unstructured":"Long, Q., Liu, Z., Li, X., He, J.: Consistent code generation from UML models. In: Australian Software Engineering Conference, pp. 23\u201330. IEEE Computer Society (2005)"},{"key":"9_CR52","unstructured":"Lumpe, M., Madelaine, E. (eds.): Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, 19\u201321 September 2007. Electronic Notes in Theoretical Computer Science, vol. 215. Elsevier (2008). https:\/\/www.sciencedirect.com\/journal\/electronic-notes-in-theoretical-computer-science\/vol\/215\/suppl\/C"},{"key":"9_CR53","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","volume":"185","author":"N Lynch","year":"2003","unstructured":"Lynch, N., Segala, R., Vaandrager, F.: Hybrid I\/O automata. Inf. Comput. 185, 105\u2013157 (2003)","journal-title":"Inf. Comput."},{"issue":"3","key":"9_CR54","first-page":"219","volume":"2","author":"NA Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Q. 2(3), 219\u2013246 (1989)","journal-title":"CWI Q."},{"key":"9_CR55","unstructured":"McIlroy, M.D.: Mass produced software components. In: Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, 7\u201311 October 1968. Scientific Affairs Division, NATO (1969)"},{"key":"9_CR56","doi-asserted-by":"crossref","unstructured":"Mencl, V., de Boer, F.S. (eds.): Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, 20\u201322 September 2006. Electronic Notes in Theoretical Computer Science, vol. 182. Elsevier (2007). https:\/\/www.sciencedirect.com\/journal\/electronic-notes-in-theoretical-computer-science\/vol\/182\/suppl\/C","DOI":"10.1016\/j.entcs.2007.04.011"},{"key":"9_CR57","doi-asserted-by":"crossref","unstructured":"Meng, S., Sch\u00e4tz, B. (eds.): Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, 2\u20133 November 2009. Electronic Notes in Theoretical Computer Science, vol. 263. Elsevier (2010). https:\/\/www.sciencedirect.com\/journal\/electronic-notes-in-theoretical-computer-science\/vol\/263\/suppl\/C","DOI":"10.1016\/j.entcs.2010.05.001"},{"key":"9_CR58","volume-title":"Object-Oriented Software Construction","author":"B Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Hoboken (1997)","edition":"2"},{"key":"9_CR59","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall Inc., Upper Saddle River (1989)"},{"key":"9_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-319-07602-7_2","volume-title":"Formal Aspects of Component Software","author":"J Misra","year":"2014","unstructured":"Misra, J.: Orchestration. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 5\u201312. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07602-7_2"},{"issue":"11","key":"9_CR61","doi-asserted-by":"publisher","first-page":"1810","DOI":"10.3390\/s16111810","volume":"16","author":"E Palomar","year":"2016","unstructured":"Palomar, E., Chen, X., Liu, Z., Maharjan, S., Bowen, J.P.: Component-based modelling for scalable smart city systems interoperability: a case study on integrating energy demand response systems. Sensors 16(11), 1810 (2016)","journal-title":"Sensors"},{"key":"9_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35861-6","volume-title":"Formal Aspects of Component Software","year":"2013","unstructured":"P\u0103s\u0103reanu, C.S., Sala\u00fcn, G. (eds.): FACS 2012. LNCS, vol. 7684. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35861-6"},{"key":"9_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68034-7","volume-title":"Formal Aspects of Component Software","year":"2017","unstructured":"Proen\u00e7a, J., Lumpe, M. (eds.): FACS 2017. LNCS, vol. 10487. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68034-7"},{"key":"9_CR64","volume-title":"Theory and Practice of Concurrency","author":"AW Roscoe","year":"1997","unstructured":"Roscoe, A.W.: Theory and Practice of Concurrency. Prentice-Hall, Upper Saddle River (1997)"},{"key":"9_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90636-8","volume-title":"Formal Aspects of Component Software","year":"2021","unstructured":"Sala\u00fcn, G., Wijs, A. (eds.): FACS 2021. LNCS, vol. 13077. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-90636-8"},{"key":"9_CR66","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley Longman Publishing Co. Inc., Boston (2002)","edition":"2"},{"key":"9_CR67","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2023.102989","volume":"144","author":"X Tang","year":"2023","unstructured":"Tang, X., Zhang, M., Liu, W., Du, B., Liu, Z.: Towards a model of human-cyber-physical automata and a synthesis framework for control policies. J. Syst. Archit. 144, 102989 (2023)","journal-title":"J. Syst. Archit."},{"key":"9_CR68","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-20872-0","volume-title":"Formal Aspects of Component Software","year":"2022","unstructured":"Tarifa, S.L.T., Proen\u00e7a, J. (eds.): FACS 2022. LNCS, vol. 13712. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-20872-0"},{"key":"9_CR69","doi-asserted-by":"crossref","unstructured":"Wheeler, D.J.: The use of sub-routines in programmes. In: Proceedings of the 1952 ACM National Meeting, Pittsburgh, USA, p. 235. ACM (1952)","DOI":"10.1145\/609784.609816"},{"issue":"2","key":"9_CR70","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1109\/TR.2019.2934348","volume":"69","author":"Y Yang","year":"2020","unstructured":"Yang, Y., Li, X., Ke, W., Liu, Z.: Automated prototype generation from formal requirements model. IEEE Trans. Reliab. 69(2), 632\u2013656 (2020)","journal-title":"IEEE Trans. Reliab."},{"key":"9_CR71","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-031-17715-6_4","volume-title":"Theoretical Aspects of Computing","author":"M Zhang","year":"2022","unstructured":"Zhang, M., Liu, W., Tang, X., Du, B., Liu, Z.: Human-cyber-physical automata and their synthesis. In: Seidl, H., Liu, Z., Pasareanu, C.S. (eds.) ICTAC 2022. LNCS, vol. 13572, pp. 36\u201341. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-17715-6_4"},{"issue":"1\u20132","key":"9_CR72","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s00165-007-0067-y","volume":"21","author":"L Zhao","year":"2009","unstructured":"Zhao, L., Liu, X., Liu, Z., Qiu, Z.: Graph transformations for object-oriented refinement. Formal Aspects Comput. 21(1\u20132), 103\u2013131 (2009)","journal-title":"Formal Aspects Comput."},{"key":"9_CR73","doi-asserted-by":"publisher","unstructured":"Zou, L., Zhan, N., Wang, S., Fr\u00e4nzle, M., Qin, S.: Verifying simulink diagrams via a hybrid hoare logic prover. In: Ernst, R., Sokolsky, O. (eds.) Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, 29 September\u20134 October 2013, pp. 9:1\u20139:10. IEEE (2013). https:\/\/doi.org\/10.1109\/EMSOFT.2013.6658587","DOI":"10.1109\/EMSOFT.2013.6658587"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-52183-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,7]],"date-time":"2024-11-07T23:57:49Z","timestamp":1731023869000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-52183-6_9"}},"subtitle":["An Overview on Concepts and Relations of Different Theories"],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031521829","9783031521836"],"references-count":73,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-52183-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"13 January 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FACS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Aspects of Component Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"facs2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/facs-conference.github.io\/2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"48% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6 regular papers 5 anniversary papers (by invitation, but peer-reviewed)","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}