RCOS (computer sciences): Difference between revisions

Revision as of 08:33, 25 May 2015

Latest revision as of 07:12, 18 July 2025

(7 intermediate revisions by 7 users 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=https://web.archive.org/web/20131113133741/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==

*Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu: "rCOS: Defining Meanings of Component-Based Software Architectures". Unifying Theories of Programming and Formal Engineering Methods – ICTAC Training School on Software Engineering 2013, LNCS 8050: 1-66, Springer (2013)

*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", [https://web.archive.org/web/20090509101723/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. ''[[Science of Computer Programming]]'', 74(4):168-196, 2009.

* Liang Zhao, Xiaojian Liu, Zhiming Liu and Zongyan Qiu (2009). "Graph transformations for object-oriented refinement", ''[[Formal Aspects of Computing]]'', 21(1-2):103-131, 2009.

*He Jifeng, Xiaoshan Li, and Zhiming Liu. "Component-based software engineering". In Pro. ICTAC’2005, ''[[Lecture Notes in Computer Science]]'' volume 3722. Springer, 2005.

Line 23:

{{reflist}}

==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]]