RCOS (computer sciences): Difference between revisions

Revision as of 12:44, 15 February 2012

Revision as of 06:46, 14 July 2012

Line 1:

{{lowercase}}

'''rCOS''' stands for refinement of [[Object (philosophy)|object]] and [[Software component|component]] systems. It is a formal method [[component-based]] [[model-driven]] software

development. It was originally developed by [[He Jifeng]], [[Zhiming Liu]] and [[Xiaoshan Li]] at [[UNU-IIST]], and consists of a unified multi-view modeling notation with a theory of relational semantic theoryand graph-based operational semantics, a refinement calculus and tool support for model construction, model [[analysis and verification]], and [[model transformations]]. Model transformations automate refinement rules and design patterns and generate conditions as proof obligations. rCOS support multiple dimensional modeling: models at different levels of abstraction related by refinement relations, hierarchy of compositions of components, and models of different views of the system ([[interaction protocol]]s of components, reactive behaviors of components, data functionality, and class structures and data types). For details, please visit http://rcos.iist.unu.edu/ for more details.

==References==

*Wei Ke, Xiaoshan Li, [[Zhiming Liu]], Volker Stolz: rCOS: a formal model-driven engineering method for component-based software. Frontiers of Computer Science in China 6(1): 17-39 (2012)

* [[Zhiming Liu]], Charles Morisset and Volker Stolz. rCOS: Theory and Tool for Component-Based Model Driven Development, Keynote at FSEN09, [http://www.iist.unu.edu/index.php/research/technical-reports Technical Report 406], UNU-IIST, P.O. Box 3058, Macau, February 2009.

* Zhenbang Chen, [[Zhiming Liu]], Ander P. Ravn and Volker Stolz (2009). ''Refinement and Verification in Component-Based Model Driven Design''. UNU-IIST Research Report 381. [[Journal of Science of Computer Programming]], 74(4):168-196, 2009.