{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T15:55:53Z","timestamp":1770479753169,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540291077","type":"print"},{"value":"9783540320722","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560647_5","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T10:04:06Z","timestamp":1129802646000},"page":"70-95","source":"Crossref","is-referenced-by-count":25,"title":["Component-Based Software Engineering"],"prefix":"10.1007","author":[{"given":"He","family":"Jifeng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoshan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiming","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Allen, R.: A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon, School of Computer Science (1997)"},{"issue":"3","key":"5_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"3","key":"5_CR3","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: A channeled based coordination model for components composition. Mathematical Structures in Computer Science\u00a014(3), 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"5_CR4","volume-title":"Software Architecture in Practice","author":"L. Bass","year":"1999","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1999)"},{"key":"5_CR5","unstructured":"Beneken, G., Hammerschall, U., et al.: Componentware - sate of the art 2003. In: Background Paper for Understanding Components Workshop of the CUE Initiative (2003)"},{"key":"5_CR6","unstructured":"Broy, M.: Multi-view modeling of software systems. In: Liu, Z., He, J. (eds.) Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. World Scientific, Singapore (to appear)"},{"key":"5_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., St\u00f8len, K.: Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/3-540-45591-4_99","volume-title":"Parallel and Distributed Processing","author":"M.R.V. Chaudron","year":"2000","unstructured":"Chaudron, M.R.V., de Jong, E.: Components are from Mars. In: Rolim, J.D.P. (ed.) IPDPS-WS 2000. LNCS, vol.\u00a01800, pp. 727\u2013733. Springer, Heidelberg (2000)"},{"key":"5_CR9","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, INC., Englewood Cliffs (1976)"},{"key":"5_CR10","volume-title":"Objects, Components and Framework with UML: The Catalysis Approach","author":"D. D\u2019Souza","year":"1998","unstructured":"D\u2019Souza, D., Wills, A.C.: Objects, Components and Framework with UML: The Catalysis Approach. Addison-Wesley, Reading (1998)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","year":"2004","unstructured":"Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.): INT 2004. LNCS, vol.\u00a03147. Springer, Heidelberg (2004)"},{"key":"5_CR12","first-page":"47","volume-title":"Foundations of Component-Based Systems","author":"D. Garlan","year":"2000","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: Architectural description of component-based systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, pp. 47\u201368. Cambridge University Press, Cambridge (2000)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"G\u00f6ssler, G., Sifakis, J.: Composition for component-based modeling. Science of Computer Programming\u00a055(1-3) (2005)","DOI":"10.1016\/j.scico.2004.05.014"},{"key":"5_CR14","unstructured":"He, J., Liu, Z., Li, X.: rCOS: A refinement calculus for object systems. Technical Report UNU-IIST Report No 322, UNU-IIST, P.O. Box 3058, Macau (March 2005)"},{"key":"5_CR15","unstructured":"He, J., Liu, Z., Li, X.: A theory of contracts. Technical Report UNU-IIST Report No 327, UNU-IIST, P.O. Box 3058, Macau (July 2005)"},{"key":"5_CR16","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":"5_CR17","first-page":"269","volume-title":"Proceedings of the 8th ACM Annual Symposium on Principles of Programming Languages","author":"T. Henzinger","year":"1991","unstructured":"Henzinger, T., Manna, Z., Pnueli, A.: Temporal proof methodologies for real-time systems. In: Proceedings of the 8th ACM Annual Symposium on Principles of Programming Languages, U.S.A., pp. 269\u2013276. ACM Press, New York (1991)"},{"key":"5_CR18","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 International, Englewood Cliffs (1998)"},{"issue":"1","key":"5_CR19","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/602382.602403","volume":"50","author":"T. Hoare","year":"2003","unstructured":"Hoare, T.: The verifying compiler: A grand challenge for computer research. Journal of the ACM\u00a050(1), 63\u201369 (2003)","journal-title":"Journal of the ACM"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Holmegaard, J.P., Knudsen, J., Makowski, P., Ravn, A.P.: Formalization in component based development. In: Liu, Z., He, J. (eds.) Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. World Scientific, Singapore (to appear)","DOI":"10.1142\/9789812772831_0009"},{"key":"5_CR21","first-page":"475","volume":"25","author":"D. Hybertson","year":"2001","unstructured":"Hybertson, D.: A uniform component modeling space. Informatica\u00a025, 475\u2013482 (2001)","journal-title":"Informatica"},{"key":"5_CR22","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"L. Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Pearson Education, Inc., London (2002)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Liu, Z., He, J., Li, X.: Contract-oriented development of component software. In: Proc. 3rd IFIP International Conference on Theoretical Computer Science","DOI":"10.1007\/1-4020-8141-3_28"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11561163_9","volume-title":"Formal Methods for Components and Objects","author":"Z. Liu","year":"2005","unstructured":"Liu, Z., He, J., Li, X.: rCOS: Refinement of component and object systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS, vol.\u00a03657, pp. 183\u2013221. Springer, Heidelberg (2005)"},{"issue":"1","key":"5_CR25","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 Transactions on Languages and Systems\u00a021(1), 46\u201389 (1999)","journal-title":"ACM Transactions on Languages and Systems"},{"issue":"9","key":"5_CR26","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1109\/32.464548","volume":"21","author":"D.C. Luckham","year":"1995","unstructured":"Luckham, D.C., Vera, J.: An event-based architecture definition language. IEEE Transactions on Software Engineering\u00a021(9), 717\u2013734 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","volume-title":"Software Engineering - ESEC \u201995","author":"J. Magee","year":"1995","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying distributed software architectures. In: Botella, P., Sch\u00e4fer, W. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 137\u2013153. Springer, Heidelberg (1995)"},{"key":"5_CR28","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1991)"},{"issue":"1","key":"5_CR29","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR30","volume-title":"Workshop on The Verification Grand Challenge","author":"A. Pnueli","year":"2005","unstructured":"Pnueli, A.: Looking ahead. In: Workshop on The Verification Grand Challenge, February 21\u201323. SRI International, Menlo Park (2005)"},{"key":"5_CR31","volume-title":"Using UML: Software Engineering with Objects and Component","author":"R. Pooley","year":"1999","unstructured":"Pooley, R., Steven, P.: Using UML: Software Engineering with Objects and Component. Addison-Wesley, Reading (1999)"},{"issue":"2","key":"5_CR32","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/947955.947961","volume":"17","author":"T. Rentsch","year":"1982","unstructured":"Rentsch, T.: Object-oriented programming. SIGPLAN Notices\u00a017(2), 51 (1982)","journal-title":"SIGPLAN Notices"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Roshandel, R., Schmerl, B., Medvidovic, N., Garlan, D., Zhang, D.: Understanding tradeoffs among different architectural modeling approaches. In: Proceedings of the Fourth Working IEEE\/IFIP Conference on Software Architecture, WICSA 2004 (2004)","DOI":"10.1109\/WICSA.2004.1310689"},{"key":"5_CR34","first-page":"13","volume-title":"Software Architectures - Advances and Applications","author":"J.-G. Schneider","year":"1999","unstructured":"Schneider, J.-G., Nierstrasz, O.: Components, scripts and glue. In: Barroca, L., Hall, J., Hall, P. (eds.) Software Architectures - Advances and Applications, pp. 13\u201325. Springer, Heidelberg (1999)"},{"key":"5_CR35","volume-title":"Real-Time object-oriented modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time object-oriented modeling. Wiley, Chichester (1994)"},{"key":"5_CR36","volume-title":"Software Architectures: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architectures: Perspectives on an Emerging Discipline. Prentice Hall, Englewood Cliffs (1996)"},{"key":"5_CR37","volume-title":"Software Engineering","author":"I. Sommerville","year":"2001","unstructured":"Sommerville, I.: Software Engineering, 6th edn. Addison-Wesley, Reading (2001)","edition":"6"},{"key":"5_CR38","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1997","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (1997)"},{"issue":"6","key":"5_CR39","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1109\/32.508313","volume":"22","author":"R.N. Taylor","year":"1996","unstructured":"Taylor, R.N., Medvidovic, N., Anderson, K.M., Whitehead Jr., E.J., Robbins, J.E., Nies, K.A., Oreizy, P., Dubrow, D.L.: A component- and message-based architectural style for gui software. IEEE Transactions on Software Engineering\u00a022(6), 390\u2013406 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"van de Hoek, A., Rakic, M., Roshandel, R., Medvidovic, N.: Taming architecture evolution. In: Proceedings of the 6th European Software Engineering Conference (ESEC) and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE-9 (2001)","DOI":"10.1145\/503209.503211"},{"key":"5_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-45499-3_9","volume-title":"Algebraic Methodology and Software Technology","author":"M. Wirsing","year":"2000","unstructured":"Wirsing, M., Broy, M.: Algebraic state machines. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 89\u2013118. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560647_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T07:08:14Z","timestamp":1586502494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560647_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291077","9783540320722"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/11560647_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}