{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T03:24:57Z","timestamp":1774495497318,"version":"3.50.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,1,27]],"date-time":"2012-01-27T00:00:00Z","timestamp":1327622400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,27]],"date-time":"2012-01-27T00:00:00Z","timestamp":1327622400000},"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":["Front. Comput. Sci."],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1007\/s11704-012-2901-5","type":"journal-article","created":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T16:26:05Z","timestamp":1693499165000},"page":"17-39","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["rCOS: a formal model-driven engineering method for component-based software"],"prefix":"10.1007","volume":"6","author":[{"given":"Wei","family":"Ke","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"}]},{"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,1,27]]},"reference":[{"issue":"10","key":"2901_CR1","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1145\/355604.361591","volume":"15","author":"E.W. Dijkstra","year":"1972","unstructured":"Dijkstra EW. The humble programmer. Communications of the ACM, 1972, 15(10): 859\u2013866, ACM Turing Award lecture","journal-title":"Communications of the ACM"},{"issue":"4","key":"2901_CR2","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"F. P. Brooks Jr","year":"1987","unstructured":"Brooks Jr F P. No silver bullet: Essence and accidents of software engineering. IEEE Computer, 1987, 20(4): 10\u201319","journal-title":"IEEE Computer"},{"key":"2901_CR3","volume-title":"Object-Oriented Analysis and Design with Applications","author":"G. Booch","year":"1994","unstructured":"Booch G. Object-Oriented Analysis and Design with Applications. Boston: Addison-Wesley, 1994"},{"issue":"5","key":"2901_CR4","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/MS.1995.10042","volume":"12","author":"F. P. Brooks Jr","year":"1995","unstructured":"Brooks Jr F P. The mythical man-month: After 20 years. IEEE Software, 1995, 12(5): 57\u201360","journal-title":"IEEE Software"},{"issue":"12","key":"2901_CR5","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1109\/MC.2007.419","volume":"40","author":"G. J. Holzmann","year":"2007","unstructured":"Holzmann G J. Conquering complexity. IEEE Computer, 2007, 40(12): 111\u2013113","journal-title":"IEEE Computer"},{"key":"2901_CR6","doi-asserted-by":"crossref","unstructured":"Wirsing M, Ban\u00e2tre J P, H\u00f6lzl M, Rauschmayer A. Software-Intensive Systems and New Computing Paradigms \u2014 Challenges and Visions. Lecture Notes in Computer Science, 2008, 5380","DOI":"10.1007\/978-3-540-89437-7"},{"key":"2901_CR7","volume-title":"The Peter Pyramid","author":"L. Peter","year":"1986","unstructured":"Peter L. The Peter Pyramid. New York: William Morrow, 1986"},{"issue":"7","key":"2901_CR8","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"N. G. Leveson","year":"1993","unstructured":"Leveson N G, Turner C S. An investigation of the Therac-25 accidents. IEEE Computer, 1993, 26(7): 18\u201341","journal-title":"IEEE Computer"},{"key":"2901_CR9","unstructured":"Robinson K. Ariane 5: Flight 501 failure \u2014 A case study. http:\/\/www.cse.unsw.edu.au\/?se4921\/PDF\/ariane5-article.pdf, 2011"},{"key":"2901_CR10","volume-title":"My Life Is Failure: 100 Things You Should Know to Be a Better Project Leader","author":"J. Johnson","year":"2006","unstructured":"Johnson J. My Life Is Failure: 100 Things You Should Know to Be a Better Project Leader. West Yarmouth: Standish Group International, 2006"},{"key":"2901_CR11","volume-title":"Component Software: Beyond Object-Oriented Program ming","author":"C. Szyperski","year":"1997","unstructured":"Szyperski C. Component Software: Beyond Object-Oriented Program ming. Boston: Addison-Wesley, 1997"},{"key":"2901_CR12","unstructured":"Object Management Group. Model driven architecture \u2014 A technical perspective. Document number ORMSC 2001-07-01, 2001"},{"key":"2901_CR13","unstructured":"Liu Z, Kang E, Zhan N. Composition and refinement of components. In: Butterfield A, eds. Post Event Proceedings of UTP08. Lecture Notes in Computer Science, 2009, 5713"},{"issue":"4","key":"2901_CR14","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. Science of Computer Programming, 2009, 74(4): 168\u2013196","journal-title":"Science of Computer Programming"},{"issue":"1\u20132","key":"2901_CR15","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, 2009, 21(1\u20132): 103\u2013131","journal-title":"Formal Aspects of Computing"},{"key":"2901_CR16","doi-asserted-by":"crossref","unstructured":"Chen X, He J, Liu Z, Zhan N. A model of component-based programming. In: Arbab F, Sirjani M, eds. International Symposium on Fundamentals of Software Engineering, Lecture Notes in Computer Science, 2007, 4767: 191\u2013206","DOI":"10.1007\/978-3-540-75698-9_13"},{"issue":"10","key":"2901_CR17","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"Hoare C A R. An axiomatic basis for computer programming. Communications of the ACM, 1969, 12(10): 576\u2013580","journal-title":"Communications of the ACM"},{"key":"2901_CR18","unstructured":"Chen X, Liu Z, Mencl V. Separation of concerns and consistent integration in requirements modelling. In: Leeuwen J, Italiano G F, Hoek W, Meinel C, Sack H, Pl\u00e1\u0161il F, eds. Proceedings of 33rd Conference on Current Trends in Theory and Practice of Computer Science. Lecture Notes in Computer Science, 2007, 4362"},{"key":"2901_CR19","first-page":"329","volume-title":"Proceedings of the 2004 Australian Software Engineering Conference","author":"J. Liu","year":"2004","unstructured":"Liu J, Liu Z, He J, Li X. Linking UML models of design and requirement. In: Proceedings of the 2004 Australian Software Engineering Conference. Washington: IEEE Computer Society, 2004, 329\u2013338"},{"key":"2901_CR20","first-page":"411","volume-title":"Proceedings of 10th International Conference on Engineering of Complex Computer Systems","author":"X. Li","year":"2005","unstructured":"Li X, Liu Z, He J. Consistency checking of UML requirements. In: Proceedings of 10th International Conference on Engineering of Complex Computer Systems. Washington: IEEE Computer Society, 2005, 411\u2013420"},{"key":"2901_CR21","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. Electronic Notes in Theoretical Computer Science, 2006, 160: 173\u2013195","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1\u20132","key":"2901_CR22","first-page":"109","volume":"365","author":"J. He","year":"2006","unstructured":"He J, Liu Z, Li X. rCOS:Arefinement calculus of object systems. Theoretical Computer Science, 2006, 365(1\u20132): 109\u2013142","journal-title":"Theoretical Computer Science"},{"key":"2901_CR23","first-page":"347","volume":"5885","author":"W. Ke","year":"2009","unstructured":"Ke W, Liu Z, Wang S, Zhao L. A graph-based operational semantics of OO programs. In: Proceedings of 11th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science, 2009, 5885: 347\u2013366","journal-title":"Proceedings of 11th International Conference on Formal Engineering Methods"},{"key":"2901_CR24","volume-title":"The Z Notation: A Reference Manual","author":"J. M. Spivey","year":"1992","unstructured":"Spivey J M. The Z Notation: A Reference Manual. 2nd ed. Upper Saddle River: Prentice Hall, 1992","edition":"2nd ed"},{"key":"2901_CR25","volume-title":"Systematic Software Development Using VDM","author":"C. B. Jones","year":"1990","unstructured":"Jones C B. Systematic Software Development Using VDM. Upper Saddle River: Prentice Hall, 1990"},{"key":"2901_CR26","doi-asserted-by":"crossref","unstructured":"Leavens G T. JML\u2019s rich, inherited specifications for behavioral subtypes. In: Liu Z, He J, eds. Proceedings of 8th International Conference on Formal Engineering Methods. Lecture Notes in Computer Science, 2006, 4260: 2\u201334","DOI":"10.1007\/11901433_2"},{"key":"2901_CR27","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"Hoare C A R. Communicating Sequential Processes. Upper Saddle River: Prentice-Hall, 1985"},{"key":"2901_CR28","volume-title":"Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe AW. Theory and Practice of Concurrency. Upper Saddle River: Prentice-Hall, 1997"},{"issue":"5","key":"2901_CR29","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L. Alfaro","year":"2001","unstructured":"Alfaro Ld, Henzinger T A. Interface automata. SIGSOFT Software Engineering Notes, 2001, 26(5): 109\u2013120","journal-title":"SIGSOFT Software Engineering Notes"},{"issue":"1","key":"2901_CR30","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 Programming Languages and Systems, 1999, 21(1): 46\u201389","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2901_CR31","volume-title":"Unifying Theories of Programming","author":"C. A. R. Hoare","year":"1998","unstructured":"Hoare C A R, He J. Unifying Theories of Programming. Upper Saddle River: Prentice-Hall, 1998"},{"key":"2901_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate Calculus and Program Semantics","author":"E. W. Dijkstra","year":"1990","unstructured":"Dijkstra E W, Scholten C S. Predicate Calculus and Program Semantics. New York: Springer-Verlag, 1990"},{"key":"2901_CR33","volume-title":"Refactoring \u2014 Improving the Design of Existing Code","author":"M. Fowler","year":"1999","unstructured":"Fowler M. Refactoring \u2014 Improving the Design of Existing Code. Menlo Park: Addison-Wesley, 1999"},{"key":"2901_CR34","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process","author":"C. Larman","year":"2005","unstructured":"Larman C. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process. 3rd ed. Upper Saddle River: Prentice-Hall, 2005","edition":"3rd ed."},{"key":"2901_CR35","volume-title":"Parallel Program Design: A Foundation","author":"K. M. Chandy","year":"1988","unstructured":"Chandy K M, Misra J. Parallel Program Design: A Foundation. Reading: Addison-Wesley, 1988"},{"key":"2901_CR36","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/BFb0015020","volume":"836","author":"R. J. R. Back","year":"1994","unstructured":"Back R J R, von Wright J. Trace refinement of action systems. In: Proceedings of 5th International Conference on Concurrency Theory. Lecture Notes in Computer Science, 1994, 836: 367\u2013384","journal-title":"Proceedings of 5th International Conference on Concurrency Theory"},{"issue":"3","key":"2901_CR37","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, 1994, 16(3): 872\u2013923","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2901_CR38","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner R. Communication and Concurrency. Upper Saddle River: Prentice-Hall, 1989"},{"issue":"3","key":"2901_CR39","first-page":"219","volume":"2","author":"N. A. Lynch","year":"1989","unstructured":"Lynch N A, Tuttle M R. An introduction to input\/output automata. CWI Quarterly, 1989, 2(3): 219\u2013246","journal-title":"CWI Quarterly"},{"key":"2901_CR40","first-page":"15","volume-title":"Modelling and Analysis in VDM: Proceedings of the Fourth VDM\/OvertureWorkshop, number CSTR-1099 in Technical Report Series","author":"Z. Chen","year":"2008","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\/OvertureWorkshop, number CSTR-1099 in Technical Report Series. Newcastle: University of Newcastle Upon Tyne, 2008, 15\u201324"},{"key":"2901_CR41","volume-title":"Interactive transformations from objectoriented models to component-based models","author":"D. Li","year":"2011","unstructured":"Li D, Li X, Liu Z, Stolz V. Interactive transformations from objectoriented models to component-based models. Technical Report 451, IIST, United Nations University, Macao, 2011"},{"key":"2901_CR42","doi-asserted-by":"crossref","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-rCOS. In: Rausch A, Reussner R, Mirandola R, Plasil F, eds. The Common Component Modeling Example. Lecture Notes in Computer Science, 2008, 5153(Chapter 3): 116\u2013145","DOI":"10.1007\/978-3-540-85289-6_6"},{"key":"2901_CR43","doi-asserted-by":"crossref","unstructured":"Li X, Liu Z, Sch\u00e4f M, Yin L. Auto PA: Automatic prototyping from requirements. In: Margaria T, Steffen B, eds. Proceedings of 4th International Conference on Leveraging Applications of Formal Methods. Lecture Notes in Computer Science, 2010, 6415: 609\u2013624","DOI":"10.1007\/978-3-642-16558-0_49"},{"key":"2901_CR44","unstructured":"Object Management Group. Object constraint language, version 2.0, May 2006"},{"key":"2901_CR45","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"1999","unstructured":"Warmer J, Kleppe A. The Object Constraint Language: Precise Modeling with UML. Boston: Addison-Wesley, 1999"},{"key":"2901_CR46","doi-asserted-by":"crossref","unstructured":"Chen Z, Morisset C, Stolz V. Specification and validation of behavioural protocols in the rCOS modeler. In: Arbab F, Sirjani M, eds. Proceedings of 3rd IPM International Conference on Fundamentals of Software Engineering. Lecture Notes in Computer Science, 2009, 5961: 387\u2013401","DOI":"10.1007\/978-3-642-11623-0_23"},{"key":"2901_CR47","doi-asserted-by":"crossref","unstructured":"Liu Z, Morisset C, Wang S. A graph-based implementation for mechanized refinement calculus of oo programs. In: Davies J, Silva L, Silva Sim\u00e3o Ad, eds. Proceedings of 13th Brazilian Symposium on Formal Methods. Lecture Notes in Computer Science, 2010, 6527: 258\u2013273","DOI":"10.1007\/978-3-642-19829-8_17"},{"issue":"10","key":"2901_CR48","doi-asserted-by":"publisher","first-page":"879","DOI":"10.1016\/j.scico.2010.02.005","volume":"75","author":"B. Lei","year":"2010","unstructured":"Lei B, Li X, Liu Z, Morisset C, Stolz V. Robustness testing for software components. Science of Computer Programming, 2010, 75(10): 879\u2013897","journal-title":"Science of Computer Programming"},{"key":"2901_CR49","doi-asserted-by":"crossref","unstructured":"Xiong X, Liu J, Ding Z. Design and verification of a trustable medical system. In: Johnsen E B, Stolz V, eds. Proceedings of 3rd International Workshop on Harnessing Theories for Tool Support in Software. Elec tronic Notes in Theoretical Computer Science, 2010, 266: 77\u201392","DOI":"10.1016\/j.entcs.2010.08.050"},{"key":"2901_CR50","first-page":"27","volume-title":"Proceedings of 11th IEEE International Conference on Engineering of Complex Computer Systems","author":"J. Liu","year":"2006","unstructured":"Liu J, He J. Reactive component based service-oriented design-a case study. In: Proceedings of 11th IEEE International Conference on Engineering of Complex Computer Systems. Washington: IEEE Computer Society, 2006, 27\u201336"},{"key":"2901_CR51","doi-asserted-by":"crossref","unstructured":"Bertolini C, Liu Z, Sch\u00e4f M, Stolz V. Towards a formal integrated model of collaborative healthcare workflows. Technical Report 450, IIST, United Nations University, Macao, 2011. In: Proceedings of 1st International Symposium on Foundations of Health Information Engineering and Systems (In press)","DOI":"10.1007\/978-3-642-32355-3_4"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-012-2901-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-012-2901-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-012-2901-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T16:26:26Z","timestamp":1693499186000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-012-2901-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,27]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["2901"],"URL":"https:\/\/doi.org\/10.1007\/s11704-012-2901-5","relation":{},"ISSN":["2095-2228"],"issn-type":[{"value":"2095-2228","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,27]]},"assertion":[{"value":"20 July 2011","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 October 2011","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 January 2012","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}