rCOS — Refinement of Component and Object Systems

rCOS is a notation that supports refinement and verification in component-based and object-oriented design.

The distinctive features of rCOS are:

• it has evolved from a semantic foundation including a well-defined refinement calculus
• it develops the Unifying Theories of Programming (UTP) to the domain of component-based designs by defining concepts like classes, objects, components, interfaces, contracts, and coordination. Further it provides the behavioural semantics of these concepts and their compositions with high level rules for refinement and verification.

News

rCOS Modeler

Overview of the rCOS Modeler -- take a peek at our project

TTSS'08 soliciting submission on rCOS:

The 2nd Intl. Workshop on Harnessing Theories for Tool Support in Software (TTSS'08) (Istanbul, August 2008) colocated with ICTAC is soliciting contributions on rCOS!

rCOS at VDM-Overture workshop:

We will give an overview over rCOS and the modeling tool at VDM-Overture workshop (Finland, May 2008) colocated with FM'08.

Publications

(BibTeX)

• Refinement and Verification in Component-Based Model Driven Design pre-print. Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz and Naijun Zhan. Submitted to Science of Computer Programming, Elsevier. (UNU-IIST TR 388)
• The Common Component Modelling Example in rCOS: CoCoME book chapter pre-print (UNU-IIST TR 382)
• Graph Transformations for Object-Oriented Refinement, Liang Zhao, Xiaojian Liu, Zhiming Lui, and Zongyan Qiu. Formal Aspects of Computing J., 2007 (local pre-print)
• A Refinement Driven Component-Based Design in: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand. IEEE Computer Society 2007 (local pre-print)
• Harnessing rCOS for Tool Support — The CoCoME Experience in: Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): Formal Methods and Hybrid Real-Time Systems, Symposium held in Macao, China, September 24-25, 2007. Lecture Notes in Computer Science 4700, Springer 2007. (UNU-IIST TR 383)
• Separation of Concerns and Consistent Integration in Requirements Modelling, Chen, Xin, Liu, Zhiming and Mencl, Vladimir, in: SOFSEM (1), pages 819-831, Springer, 2007 (pre-print).
• rCOS: A Refinement Calculus of Object Systems pre-print, Theor.Comput.Sci. vol.365 no.1-2 (local pre-print).
• A Model of Component-Based Programming, Proc. FSEN 2007, LNCS 4767, pp. 191-208. (UNU-IIST TR 350)
• Component-Based Software Engineering, Jifeng He, Xiaoshan Li, Zhiming Liu in: Proc. ICTAC 2005, LNCS 3722: 70-95, Springer 2005. (UNU-IIST TR 330)
• Book chapter in MATHEMATICAL FRAMEWORKS FOR COMPONENT SOFTWARE—Models for Analysis and Synthesis

Presentations

• Wiki for our CoCoME contribution
• Introduction to UML profiles / the rCOS UML profile FAISE 2008 / Guiyang presentation (Volker Stolz, May 2008)
• The CoCoME case study in rCOS FAISE 2008 / Guiyang presentation (Volker Stolz, May 2008)
• CoCoME workshop presentation (Volker Stolz, Aug. 2007)
• Harnessing rCOS for Tool Support — The CoCoME Experience, Festschrift Symposium, (Volker Stolz, Sept. 2007)

Technical Reports

• TR343: Harnessing Theories for Tool Support
• All UNU-IIST Technical Reports

rCOS Team

• Zhiming Liu
• Anders P. Ravn (Aalborg University, Denmark)
• Eun Young Kang
• Charles Morisset
• Volker Stolz
• LI Xiaoshan (Macau University)
• Naijun ZHAN (CAS, Beijing)
• Li Dan (UNU-IIST project staff, Guiyang)
• Zhenbang CHEN (UNU-IIST fellow, Changsha)
• LIU Jicong (UNU-IIST fellow, Guangzhou)
• LEI Bin (UNU-IIST fellow, Nanjing)
• Yang KEHUA (UNU-IIST fellow, Changsha)
• Haoyu SUN (UNU-IIST fellow)