RCOS (computer sciences): Difference between revisions

Revision as of 12:38, 4 October 2019

Latest revision as of 07:12, 18 July 2025

(One intermediate revision by one other user not shown)

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 |url=//rcos.iist.unu.edu/ |title=rCOS |work=[[UNU-IIST]] |publisher=[[Archive.org]] |date=2013 |accessdate=22 April 2014 |url-status=dead |archiveurl=https://web.archive.org/web/20131113133741/http://rcos.iist.unu.edu/ |archivedate=November 13, 2013 }}</ref>

==Bibliography==

Line 24:

==External links==

* [http://rcos.iist.unu.edu/ rCOS website] {{Webarchive|url=https://web.archive.org/web/20071211042256/http://rcos.iist.unu.edu/ |date=2007-12-11 }}

[[Category:Year of introduction missing]]