{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T06:00:06Z","timestamp":1774332006414,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540752202","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75221-9_5","type":"book-chapter","created":{"date-parts":[[2007,8,30]],"date-time":"2007-08-30T10:33:13Z","timestamp":1188469993000},"page":"83-114","source":"Crossref","is-referenced-by-count":7,"title":["Harnessing rCOS for Tool Support \u2014The CoCoME Experience"],"prefix":"10.1007","author":[{"given":"Zhenbang","family":"Chen","sequence":"first","affiliation":[]},{"given":"Xiaoshan","family":"Li","sequence":"additional","affiliation":[]},{"given":"Zhiming","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[]},{"given":"Lu","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Apache tuscany project, http:\/\/incubator.apache.org\/tuscany\/"},{"key":"5_CR2","unstructured":"The concurrency workbench, http:\/\/homepages.inf.ed.ac.uk\/perdita\/cwb\/"},{"key":"5_CR3","unstructured":"Service component architecture, http:\/\/www.osoa.org\/display\/Main\/Home"},{"key":"5_CR4","volume-title":"Graduate Texts in Computer Science","author":"R.J.R. Back","year":"1998","unstructured":"Back, R.J.R., von Eright, J.: Refinement Calculus: A Systematic Introduction. In: Graduate Texts in Computer Science, Springer, Heidelberg (1998)"},{"key":"5_CR5","volume-title":"Parallel Program Design: A Foundation","author":"K. Chandy","year":"1988","unstructured":"Chandy, K., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"FSE 2007","author":"X. Chen","year":"2007","unstructured":"Chen, X., He, J., Liu, Z., Zhan, N.: A model of component-based programing. In: Biryukov, A. (ed.) FSE 2007. LNCS, vol.\u00a04593, Springer, Heidelberg (2007)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.\u00a04362, Springer, Heidelberg (2007)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"CoCoME\u2014The Common Component Modelling Example","author":"Z. Chen","year":"2007","unstructured":"Chen, Z., Hannousse, A.H., Van Hung, D., Knoll, I., Li, X., Liu, Y., Liu, Z., Nan, Q., Okika, J., Ravn, A.P., Stolz, V., Yang, L., Zhan, N.: The common component modelling example in rCOS. In: CoCoME\u2014The Common Component Modelling Example. LNCS, Springer, Heidelberg (2007)"},{"key":"5_CR9","volume-title":"Proc. of 12th IEEE Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2007)","author":"Z. Chen","year":"2007","unstructured":"Chen, Z., Liu, Z., Stolz, V., Yang, L., Ravn, A.P.: A Refinement Driven Component-Based Design. In: Proc. of 12th IEEE Intl. Conf. on Engineering of Complex Computer Systems (ICECCS 2007), IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b100112","volume-title":"Formal Methods for Components and Objects","author":"F.S. Boer de","year":"2004","unstructured":"de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.P.: Formal Methods for Components and Objects. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, Springer, Heidelberg (2004)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Flanagan, C., et al.: Extended Static Checking for Java. In: Pro. PLDI\u2019 2002 (2002)","DOI":"10.1145\/512529.512558"},{"key":"5_CR12","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"1999","unstructured":"Fowler, M., et al.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"J. He","year":"2005","unstructured":"He, J., Li, X., Liu, Z.: Component-Based Software Engineering. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, Springer, Heidelberg (2005)"},{"issue":"1-2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2006.07.034","volume":"365","author":"J. He","year":"2006","unstructured":"He, J., Li, X., Liu, Z.: rCOS: A refinement calculus for object systems. Theoretical Computer Science\u00a0365(1-2), 109\u2013142 (2006)","journal-title":"Theoretical Computer Science"},{"key":"5_CR15","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"5_CR16","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":"5_CR17","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (2003)"},{"key":"5_CR18","volume-title":"The Rational Unified Process\u2014An Introduction","author":"P. Kruchten","year":"2000","unstructured":"Kruchten, P.: The Rational Unified Process\u2014An Introduction. Addison-Wesley, Reading (2000)"},{"issue":"3","key":"5_CR19","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 Transactions on Programming Languages and Systems\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR20","volume-title":"Applying UML and Patterns","author":"C. Larman","year":"2001","unstructured":"Larman, C.: Applying UML and Patterns. Prentice-Hall, Englewood Cliffs (2001)"},{"issue":"1-2","key":"5_CR21","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. STTT\u00a01(1-2), 134\u2013152 (1997)","journal-title":"STTT"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_2","volume-title":"Formal Methods and Software Engineering","author":"J.L. Leavens","year":"2006","unstructured":"Leavens, J.L.: JML\u2019s rich, inherited specification for behavioural subtypes. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, Springer, Heidelberg (2006)"},{"key":"5_CR23","unstructured":"Liu, X., Liu, Z., Zhao, L.: Object-oriented structure refinement\u2014a graph transformational approach (Extended version submitted for journal publication). In: Intl. Workshop on Refinement (REFINE 2006). ENTCS (2006)"},{"issue":"4","key":"5_CR24","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/BF02943112","volume":"4","author":"Z. Liu","year":"1989","unstructured":"Liu, Z.: A continuous algebraic semantics of CSP. Journal of Computer Science and Technology\u00a04(4), 304\u2013314 (1989)","journal-title":"Journal of Computer Science and Technology"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Liu, Z., He, J. (eds.): Mathematical Frameworks for Component software: Models for Analysis and Synthesis. In: Liu, Z., He, J. (eds.) Series on Component-Based Software Development, vol.\u00a02, World Scientific, Singapore (2006)","DOI":"10.1142\/9789812772831"},{"issue":"2","key":"5_CR26","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/s00165-004-0036-7","volume":"16","author":"Z. Liu","year":"2004","unstructured":"Liu, Z., Ravn, A., Li, X.: Unifying proof methodologies of duration calculus and timed linear temporal logic. Formal Aspects of Computing\u00a016(2), 140\u2013154 (2004)","journal-title":"Formal Aspects of Computing"},{"key":"5_CR27","volume-title":"Agile Software Development: Principles, Patterns, and Practices","author":"R.C. Martin","year":"2003","unstructured":"Martin, R.C.: Agile Software Development: Principles, Patterns, and Practices. Prentice-Hall, Englewood Cliffs (2003)"},{"key":"5_CR28","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"5_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1980)"},{"key":"5_CR30","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"5_CR31","unstructured":"Tata Consultancy Services. MasterCraft, http:\/\/www.tata-mastercraft.com\/"},{"issue":"5","key":"5_CR32","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"C.C. Zhou","year":"1991","unstructured":"Zhou, C.C., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Information Processing Letters\u00a040(5), 269\u2013276 (1991)","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Hybrid Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75221-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:56:29Z","timestamp":1619520989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75221-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752202"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75221-9_5","relation":{},"subject":[]}}