Content deleted Content added
Matthiaspaul (talk | contribs) m Matthiaspaul moved page RCOS to RCOS (computer sciences): Making room for disambiguation page, as this is certainly not a primary topic |
Cyberbot II (talk | contribs) Rescuing 1 sources. #IABot |
||
Line 3:
==Overview==
rCOS was originally developed by [[He Jifeng]], [[Zhiming Liu (computer scientist)|Zhiming Liu]] and Xiaoshan Li at [[UNU-IIST]] in [[Macau]], 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). Components are composed and integrated based on their models of interfaces to support third party composition.<ref>{{cite web|
==Bibliography==
| |||