{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T23:01:40Z","timestamp":1754262100637,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291312"},{"type":"electronic","value":"9783540319399"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11561163_9","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:54:31Z","timestamp":1127832871000},"page":"183-221","source":"Crossref","is-referenced-by-count":12,"title":["rCOS: Refinement of Component and Object Systems"],"prefix":"10.1007","author":[{"given":"Zhiming","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"He","family":"Jifeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoshan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardeli, L.: A Theory of Objects. Springer, Heidelberg (1996)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology\u00a06(3) (1997)","DOI":"10.1145\/258077.258078"},{"issue":"3","key":"9_CR3","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: A channel-based coordination of model for component composition. Mathematical Structures in Computer Science\u00a014(3), 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"9_CR4","volume-title":"The Unified Modelling Language User Guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modelling Language User Guide. Addison-Wesley, Reading (1999)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/978-3-540-45070-2_20","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"P. Borba","year":"2003","unstructured":"Borba, P., Sampaio, A., Corn\u00e9lio, M.: A refinment algebra for object-oriented programming. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 457\u2013482. Springer, Heidelberg (2003)"},{"key":"9_CR6","volume-title":"Programming Methodology","author":"M. Broy","year":"2003","unstructured":"Broy, M.: Object-oriented programming and software development - a critical assessment. In: McIver, A., Morgan, C. (eds.) Programming Methodology. Springer, Heidelberg (2003)"},{"key":"9_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement","author":"M. Broy","year":"2001","unstructured":"Broy, M., Stolen, K.: Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)"},{"key":"9_CR8","unstructured":"Cavalcanti, A., Naumann, D.A.: A weakest precondition semantics for an object-oriented language of refinement. Technical Report CS Report 9903, Stevens Institute of Technology, Hoboken, NJ 07030 (February 2000)"},{"key":"9_CR9","series-title":"Component Software Series","volume-title":"UML Components","author":"J. Cheesman","year":"2001","unstructured":"Cheesman, J., Daniels, J.: UML Components. Component Software Series. Addison-Wesley, Reading (2001)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Chen, Y., Sanders, J.W.: The weakest specifunction. Acta Informatica\u00a041(7) (2005)","DOI":"10.1007\/s00236-005-0163-5"},{"issue":"3","key":"9_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.5381\/jot.2002.1.3.a13","volume":"1","author":"J.K. Filipe","year":"2002","unstructured":"Filipe, J.K.: A logic-based formalization for component specification. Journal of Object Technology\u00a01(3), 231\u2013248 (2002)","journal-title":"Journal of Object Technology"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-540-45221-8_27","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M. Fowler","year":"2003","unstructured":"Fowler, M.: What is the point of the UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 325\u2013325. Springer, Heidelberg (2003)"},{"key":"9_CR13","volume-title":"Design Patterns, Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns, Elements of Reusable Object-Oriented Software. Addlison Wesley, Reading (1995)"},{"key":"9_CR14","unstructured":"Goessler, G., Sifakis, J.: Composition for component-based modeling. Science of Computer Programming"},{"issue":"5","key":"9_CR15","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/52.57887","volume":"7","author":"J.A. Hall","year":"1990","unstructured":"Hall, J.A.: Seven myths of formal methods. IEEE Software\u00a07(5), 11\u201319 (1990)","journal-title":"IEEE Software"},{"key":"9_CR16","unstructured":"He, J., Liu, Z., Li, X.: rCOS: A refinement calculus for object systems. Technical Report 322, UNU\/IIST, P.O. Box 3058, Macao SAR China (2005)"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-540-30477-7_28","volume-title":"Programming Languages and Systems","author":"J. He","year":"2004","unstructured":"He, J., Liu, Z., Li, X., Qin, S.: A relational model of object oriented programs. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 415\u2013436. Springer, Heidelberg (2004)"},{"key":"9_CR18","volume-title":"Component-Based Software Engineering, Putting the Pieces Together","author":"G.T. Heineman","year":"2001","unstructured":"Heineman, G.T., Councill, W.T.: Component-Based Software Engineering, Putting the Pieces Together. Addison-Wesley, Reading (2001)"},{"key":"9_CR19","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall, Englewood Cliffs (1998)"},{"key":"9_CR20","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"1999","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)"},{"key":"9_CR21","volume-title":"Proc. 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004)","author":"N. Jin","year":"2004","unstructured":"Jin, N., He, J.: Resource models and pre-compiler specification for hardware\/software. In: Cuellar, J.R., Liu, Z. (eds.) Proc. 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China, September 28-30, 2004. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"9_CR22","volume-title":"A Classical Mind: Essays in Honour of C.A.R. Hoare","author":"C.B. Jones","year":"1994","unstructured":"Jones, C.B.: Process algebra arguments about an object-oriented design notation. In: Roscoe, A.W. (ed.) A Classical Mind: Essays in Honour of C.A.R. Hoare. Prentice Hall, Englewood Cliffs (1994)"},{"issue":"2","key":"9_CR23","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00122417","volume":"8","author":"C.B. Jones","year":"1996","unstructured":"Jones, C.B.: Accommodating interference in the formal design of concurrent object-based programs. Formal Methods in System Design\u00a08(2), 105\u2013122 (1996)","journal-title":"Formal Methods in System Design"},{"key":"9_CR24","volume-title":"The Rational Unified Process \u2013 An Introduction","author":"P. Kruchten","year":"2000","unstructured":"Kruchten, P.: The Rational Unified Process \u2013 An Introduction, 2nd edn. Addison-Wesly, Reading (2000)","edition":"2"},{"key":"9_CR25","volume-title":"Applying UML and Patterns","author":"C. Larman","year":"2001","unstructured":"Larman, C.: Applying UML and Patterns. Prentice Hall, Englewood Cliffs (2001)"},{"key":"9_CR26","first-page":"215","volume-title":"COMPSAC 2001","author":"X. Li","year":"2001","unstructured":"Li, X., Liu, Z., He, J.: Formal and use-case driven requirement analysis in UML. In: COMPSAC 2001, Illinois, USA, October 2001, pp. 215\u2013224. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-540-30555-2_30","volume-title":"Distributed Computing and Internet Technology","author":"X. Li","year":"2004","unstructured":"Li, X., Liu, Z., He, J., Long, Q.: Generating prototypes from a UML model of requirements. In: Ghosh, R.K., Mohanty, H. (eds.) ICDCIT 2004. LNCS, vol.\u00a03347, pp. 255\u2013265. Springer, Heidelberg (2004)"},{"key":"9_CR28","first-page":"329","volume-title":"Proceedings of ASWEC 2004","author":"J. Liu","year":"2004","unstructured":"Liu, J., Liu, Z., He, J., Li, X.: Linking UML models of design and requirement. In: Proceedings of ASWEC 2004, Melbourne, Australia, pp. 329\u2013338. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"9_CR29","unstructured":"Liu, Z.: Object-oriented software development in UML. Technical Report UNU\/IIST Report No. 228, UNU\/IIST, P.O. Box 3058, Macau, SAR, P.R. China (March 2001)"},{"key":"9_CR30","unstructured":"Liu, Z., He, J., Li, X.: Contract-oriented component software development. Technical Report UNU\/IIST, Report No 298 (2004), http:\/\/www.iist.unu.edu\/newrh\/III\/1\/page.html"},{"key":"9_CR31","first-page":"349","volume-title":"Proceedings of IFIP WCC-TCS 2004","author":"Z. Liu","year":"2004","unstructured":"Liu, Z., He, J., Li, X.: Contract-oriented development of component systems. In: Proceedings of IFIP WCC-TCS 2004, Toulouse, France, pp. 349\u2013366. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"9_CR32","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., He, J., Li, X., Chen, Y.: A relational model for formal requirements analysis in UML. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol.\u00a02885, pp. 641\u2013664. Springer, Heidelberg (2003)"},{"key":"9_CR33","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.entcs.2004.02.018","volume":"101","author":"Z. Liu","year":"2004","unstructured":"Liu, Z., He, J., Li, X., Liu, J.: Unifying views of UML. Electronic Notes of Theoretical Computer Science (ENTCS)\u00a0101, 95\u2013127 (2004)","journal-title":"Electronic Notes of Theoretical Computer Science (ENTCS)"},{"key":"9_CR34","unstructured":"Long, Q., He, J., Liu, Z.: Refactoring and pattern-directed refactoring: A formal perspective. Technical Report 318, UNU-IIST, P.O.Box 3058, Macau (January 2005)"},{"key":"9_CR35","first-page":"168","volume-title":"Pro. of Australian Software Engineering Conference (ASWEC 2005)","author":"Q. Long","year":"2005","unstructured":"Long, Q., Liu, Z., Li, X., He, J.: Consistent code generation from UML models. In: Pro. of Australian Software Engineering Conference (ASWEC 2005), Brisbane, Australia, pp. 168\u2013177. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"Long, Q., Qiu, Z., Liu, Z., Shao, L., He, J.: POST: A case study for rcos incremental development. Technical Report 324, UNU\/IIST, P.O. Box 3058, Macao SAR China (2005)","DOI":"10.1007\/11560647_32"},{"key":"9_CR37","volume-title":"Executable UML: a foundation for model-driven architecture","author":"S.J. Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.J.: Executable UML: a foundation for model-driven architecture. Addison-Wesley, Reading (2002)"},{"issue":"1","key":"9_CR38","first-page":"19","volume":"10","author":"B. Meyer","year":"1989","unstructured":"Meyer, B.: From structured programming to object-oriented design: the road to Eiffel. Structured Programming\u00a010(1), 19\u201339 (1989)","journal-title":"Structured Programming"},{"key":"9_CR39","doi-asserted-by":"crossref","unstructured":"Meyer, B.: Applying design by contract. IEEE Computer (May 1992)","DOI":"10.1109\/2.161279"},{"key":"9_CR40","volume-title":"Object-oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-oriented Software Construction, 2nd edn. Prentice Hall PTR, Englewood Cliffs (1997)","edition":"2"},{"key":"9_CR41","doi-asserted-by":"crossref","unstructured":"Pierik, C., de Boer, F.S.: A syntax-directed hoare logic for object-oriented programming concepts. Technical Report UU-CS-2003-010, Institute of Information and Computing Science, Utrecht University (2003)","DOI":"10.1007\/978-3-540-39958-2_5"},{"key":"9_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/BFb0057795","volume-title":"Languages, Compilers, and Tools for Embedded Systems","author":"B. Selic","year":"1998","unstructured":"Selic, B.: Using UML for modelling complex real-time systems. In: M\u00fcller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol.\u00a01474, pp. 250\u2013262. Springer, Heidelberg (1998)"},{"key":"9_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/978-3-540-31862-0_34","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"A. Sherif","year":"2005","unstructured":"Sherif, A., Jifeng, H., Cavalcanti, A., Sampaio, A.: A framework for specification and validation of real-time systems using circus actions. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol.\u00a03407, pp. 478\u2013494. Springer, Heidelberg (2005)"},{"key":"9_CR44","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M. Smyth","year":"1978","unstructured":"Smyth, M.: Powerdomain. Journal of Computer Science and System Sciences\u00a016, 23\u201336 (1978)","journal-title":"Journal of Computer Science and System Sciences"},{"key":"9_CR45","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (2002)"},{"issue":"9","key":"9_CR46","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.58215","volume":"23","author":"J.M. Wing","year":"1990","unstructured":"Wing, J.M.: A specifier\u2019s introduction to formal methods. IEEE Computer\u00a023(9), 8\u201324 (1990)","journal-title":"IEEE Computer"},{"key":"9_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-31862-0_14","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"J. Yang","year":"2005","unstructured":"Yang, J., Long, Q., Liu, Z., Li, X.: A predicative semantic model for integrating UML models. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol.\u00a03407, pp. 170\u2013186. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11561163_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T16:02:47Z","timestamp":1736006567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11561163_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291312","9783540319399"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/11561163_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}