{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T16:05:41Z","timestamp":1770480341385,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642116223","type":"print"},{"value":"9783642116230","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11623-0_3","type":"book-chapter","created":{"date-parts":[[2010,1,25]],"date-time":"2010-01-25T01:08:29Z","timestamp":1264381709000},"page":"62-80","source":"Crossref","is-referenced-by-count":18,"title":["rCOS: Theory and Tool for Component-Based Model Driven Development"],"prefix":"10.1007","author":[{"given":"Zhiming","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Morisset","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Object-oriented analysis and design with applications","author":"G. Booch","year":"1994","unstructured":"Booch, G.: Object-oriented analysis and design with applications. Addison-Wesley, Reading (1994)"},{"key":"3_CR2","unstructured":"Burstall, R., Goguen, J.: Putting theories together to make specifications. In: Reddy, R. (ed.) Proc. 5th Intl. Joint Conf. on Artificial Intelligence, pp. 1045\u20131058. Department of Computer Science, Carnegie-Mellon University, USA (1977)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-540-75698-9_13","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"X. Chen","year":"2007","unstructured":"Chen, X., He, J., Liu, Z., Zhan, N.: A model of component-based programming. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 191\u2013206. Springer, Heidelberg (2007)"},{"key":"3_CR4","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.\u00a04362, pp. 819\u2013831. Springer, Heidelberg (2007)"},{"key":"3_CR5","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., Hannousse, A.H., Hung, D.V., Knoll, I., Li, X., Liu, Y., Liu, Z., Nan, Q., Okika, J.C., Ravn, A.P., Stolz, V., Yang, L., Zhan, N.: Modelling with relational calculus of object and component systems\u2013rCOS. In: Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F. (eds.) The Common Component Modeling Example. LNCS, vol.\u00a05153, pp. 116\u2013145. Springer, Heidelberg (2008)"},{"issue":"4","key":"3_CR6","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.scico.2008.08.003","volume":"74","author":"Z. Chen","year":"2008","unstructured":"Chen, Z., Liu, Z., Ravn, A.P., Stolz, V., Zhan, N.: Refinement and verification in component-based model driven design. Science of Computer Programming\u00a074(4), 168\u2013196 (2008); Special Issue on the Grand Challenge. UNU-IIST TR 388","journal-title":"Science of Computer Programming"},{"key":"3_CR7","unstructured":"Chen, Z., Liu, Z., Stolz, V.: The rCOS tool. In: Fitzgerald, J., Larsen, P.G., Sahara, S. (eds.) Modelling and Analysis in VDM: Proceedings of the Fourth VDM\/Overture Workshop, Newcastle University. CS-TR-1099 in Technical Report Series (May 2008)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/978-3-642-11623-0_23","volume-title":"FSEN 2009","author":"Z. Chen","year":"2010","unstructured":"Chen, Z., Morisset, C., Stolz, V.: Specification and validation of behavioural protocols in the rCOS modeler. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol.\u00a05961, pp. 387\u2013401. Springer, Heidelberg (2010)"},{"key":"3_CR9","unstructured":"CWB. The concurrency workbench, \n                    \n                      http:\/\/homepages.inf.ed.ac.uk\/perdita\/cwb\/"},{"key":"3_CR10","volume-title":"Structured Programming","author":"E. Dijkstra","year":"1972","unstructured":"Dijkstra, E.: Notes on structured programming. In: Dahl, O.-J., Hoare, C.A.R., Dijkstra, E.W. (eds.) Structured Programming. Academic Press, London (1972)"},{"key":"3_CR11","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"1999","unstructured":"Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)"},{"issue":"4","key":"3_CR12","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"P. Frederick","year":"1987","unstructured":"Frederick, P., Brooks, J.: No silver bullet: essence and accidents of software engineering. Computer\u00a020(4), 10\u201319 (1987)","journal-title":"Computer"},{"issue":"5","key":"3_CR13","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/MS.1995.10042","volume":"12","author":"P. Frederick","year":"1995","unstructured":"Frederick, P., Brooks, J.: The mythical man-month: after 20 years. IEEE Software\u00a012(5), 57\u201360 (1995)","journal-title":"IEEE Software"},{"key":"3_CR14","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. Addison-Wesley, Reading (1995)"},{"issue":"1","key":"3_CR15","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal of ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of ACM"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11560647_5","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"H. Jifeng","year":"2005","unstructured":"Jifeng, H., Li, X., Liu, Z.: Component-based software engineering. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 70\u201395. Springer, Heidelberg (2005); UNU-IIST TR 330"},{"issue":"1-2","key":"3_CR17","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., Liu, Z., Li, X.: rCOS: A refinement calculus of object systems. Theor. Comput. Sci.\u00a0365(1-2), 109\u2013142 (2006); UNU-IIST TR 322","journal-title":"Theor. Comput. Sci."},{"key":"3_CR18","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":"3_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":"3_CR20","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional (2003)"},{"key":"3_CR21","volume-title":"Systematic Software Development using VDM","author":"C.B. Jones","year":"1990","unstructured":"Jones, C.B.: Systematic Software Development using VDM. Prentice-Hall, Englewood Cliffs (1990)"},{"issue":"3","key":"3_CR22","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":"3_CR23","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, Englewood Cliffs (2001)","edition":"2"},{"issue":"3","key":"3_CR24","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s11334-008-0062-3","volume":"4","author":"D. Li","year":"2008","unstructured":"Li, D., Li, X., Liu, J., Liu, Z.: Validation of requirements models by automatic prototyping. J. Innovations in Systems and Software Engineering\u00a04(3), 241\u2013248 (2008)","journal-title":"J. Innovations in Systems and Software Engineering"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"Post event Proceedings of UTP 2008","author":"Z. Liu","year":"2009","unstructured":"Liu, Z., Kang, E., Zhan, N.: Composition and refinement of components. In: Post event Proceedings of UTP 2008. LNCS. Springer, Heidelberg (to appear, 2009)"},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/ISoLA.2006.49","volume-title":"Proc. of the Second Intl. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)","author":"Z. Liu","year":"2006","unstructured":"Liu, Z., Mencl, V., Ravn, A.P., Yang, L.: Harnessing theories for tool support. In: Proc. of the Second Intl. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), pp. 371\u2013382. IEEE Computer Society, Los Alamitos (2006); Full version as UNU-IIST Technical Report 343"},{"key":"3_CR27","series-title":"Communications in Computer and Information Science","first-page":"323","volume-title":"International Symposium on Leveraging Applications of Formal Methods, Verification and Validation","author":"Q. Long","year":"2008","unstructured":"Long, Q., Qiu, Z., Liu, Z.: Formal use of design patterns and refactoring. In: Margaria, T., Steffen, B. (eds.) International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Communications in Computer and Information Science, vol.\u00a017, pp. 323\u2013338. Springer, Heidelberg (2008)"},{"key":"3_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems: specification","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems: specification. Springer, Heidelberg (1992)"},{"key":"3_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive systems: safety","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive systems: safety. Springer, Heidelberg (1992)"},{"key":"3_CR30","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"3_CR31","volume-title":"Programming from Specifications","author":"C.C. Morgan","year":"1994","unstructured":"Morgan, C.C.: Programming from Specifications. Prentice-Hall, Englewood Cliffs (1994)"},{"issue":"10","key":"3_CR32","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/383845.383856","volume":"44","author":"H. Ossher","year":"2001","unstructured":"Ossher, H., Tarr, P.: Using multidimensional separation of concerns to (re)shape evolving software. Commun. ACM\u00a044(10), 43\u201350 (2001)","journal-title":"Commun. ACM"},{"issue":"3","key":"3_CR33","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1243987.1243989","volume":"16","author":"R. Paige","year":"2007","unstructured":"Paige, R., Brooke, P., Ostroff, J.: Metamodel-based model conformance and multiview consistency checking. ACM Trans.Softw.Eng.Methodol.\u00a016(3), 11 (2007)","journal-title":"ACM Trans.Softw.Eng.Methodol."},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D. Parnas","year":"1972","unstructured":"Parnas, D.: On the criteria to be used to decompose systems into modules. Communication of ACM\u00a015, 1053\u20131058 (1972)","journal-title":"Communication of ACM"},{"key":"3_CR35","volume-title":"The Peter Pyramid","author":"L. Peter","year":"1986","unstructured":"Peter, L.: The Peter Pyramid. William Morrow, New York (1986)"},{"key":"3_CR36","volume-title":"Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W.: Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"3_CR37","unstructured":"Schneider, A.: The B-method. Masson (2001)"},{"key":"3_CR38","volume-title":"Software Engineering","author":"I. Sommerville","year":"2001","unstructured":"Sommerville, I.: Software Engineering, 6th edn. Addison-Wesley, Reading (2001)","edition":"6"},{"key":"3_CR39","unstructured":"SRI. PVS specification and verification system, \n                    \n                      http:\/\/pvs.csl.sri.com\/"},{"key":"3_CR40","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)"},{"key":"3_CR41","series-title":"Lecture Notes in Computer Science","volume-title":"Software-Intensive Systems and New Computing Paradigms","year":"2008","unstructured":"Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.): Software-Intensive Systems and New Computing Paradigms. LNCS, vol.\u00a05380. Springer, Heidelberg (2008)"},{"key":"3_CR42","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"3_CR43","series-title":"Electr. Notes in Theor. Comp. Sci.","first-page":"69","volume-title":"1st Workshop on Harnessing Theories for Tool Support in Software","author":"L. Yang","year":"2008","unstructured":"Yang, L., Stolz, V.: Integrating refinement into software development tools. In: Pu, G., Stolz, V. (eds.) 1st Workshop on Harnessing Theories for Tool Support in Software. Electr. Notes in Theor. Comp. Sci., vol.\u00a0207, pp. 69\u201388. Elsevier, Amsterdam (2008); UNU-IIST TR 385"},{"issue":"1-2","key":"3_CR44","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 of Computing\u00a021(1-2), 103\u2013131 (2009)","journal-title":"Formal Aspects of Computing"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11623-0_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:42:24Z","timestamp":1606185744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11623-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642116223","9783642116230"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11623-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}