Content deleted Content added
m Reverted edits by 68.150.244.148 (talk) to last revision by Colonies Chris (HG) |
Removed typo |
||
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]], [[Liu Zhiming (computer scientist)|Zhiming Liu]] and [[Xiaoshan Li]] at [[UNU-IIST]], and consists of a unified multi-view modeling notation with a theory of relational semantic and graph-based operational semantics, a refinement calculus and tool support for model construction, model analysis and verification]], and [[model transformation]]s. 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/
==References==
| |||