rCOS (computer sciences)

rCOS is a relational semantic model and refinement calculus for object-oriented and component-based software development. It was originally developed by He Jifeng, Zhiming Liu and Xiaoshan Li at UNU-IIST. It supports both state-based and event-based modeling and analysis software development. Please visit http://rcos.iist.unu.edu/ for more details.

References

• Zhenbang Chen, Zhiming Liu, Ander P. Ravn and Vlker Stolz (2008).

Refinement and Veri�cation in Component-Based Model Driven Design. UNU-IIST Research Report 381. Accepted by Journal of Science of Computer Programming.

• Liang Zhao, Xiaojian Liu, Zhiming Liu and Zongyan Qiu (2007).

Graph transformations for object-oriented refinement, Formal Aspects of Computing (published online publication now and hard copy later), 2007. It is also available as as UNU-IIST Research Report 381.

• He Jifeng, Xiaoshan Li, and Zhiming Liu. Component-based software engineering. In Pro. ICTAC’2005, Lecture Notes in Computer Science volume 3722. Springer, 2005.

• He Jifeng, Xiaoshan Li, and Zhiming Liu. rCOS: A refinement calculus for object systems. Theoretical Computer Science, 365(1–2):109–142, 2006.

• He Jifeng, Zhiming Liu, and Xiaoshan Li. A theory of reactive components.Electronic Notes of Theoretical Computer Science, 160:173–195, 2006.

• Xin Chen, He Jifeng, Zhiming Liu, and Naijun Zhan. A model of component-based programming. Proc. FSEN 2007, Computer Science, Lecture Notes in Computer Science 4767, pp. 191-208.

• Xin Chen, Zhiming Liu, and Vladimir Mencl. Separation of concerns and consistent integration in requirements modelling. In Proc. Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science. Springer, 2007.

• Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz and Naijun Zhan. "Refinement and Verification in Component-Based Model Driven Design", Submitted to Science of Computer Programming, Elsevier. (UNU-IIST TR 388), 2007.