rCOSとは 意味・読み方・使い方

rCOS stands for refinement of object and component systems. It is a 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 relational semantic theory, 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 protocols 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.