RCOS (computer sciences): Difference between revisions

Revision as of 19:17, 16 August 2010

Latest revision as of 07:12, 18 July 2025

(30 intermediate revisions by 27 users not shown)

Line 1:

{{lowercase}}

'''rCOS''' stands for refinement of [[Object (philosophy)|object]] and [[Software component|component]] systems. It is a [[formal method]] providing [[component-based]] [[model-driven software]] softwaredevelopment.

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.

==ReferencesOverview==

development. ItrCOS 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 theoryand graph-based [[operational semantics]], a [[refinement calculus]] and tool support for model construction, model [[analysis and verification]], and [[model transformationstransformation]]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 protocolsprotocol]]s of components, reactive behaviors of components, data functionality, and class structures and data types). ForComponents details,are pleasecomposed visitand 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]] |date=2013 |accessdate=22 April 2014 |url-status=dead |archiveurl=https://web.archive.org/web/20131113133741/http://rcos.iist.unu.edu/ for|archivedate=November more13, details.2013 }}</ref>

* [[Zhiming Liu]], Charles Morisset and Volker Stolz. rCOS: Theory and Tool for Component-Based Model Driven Development, Keynote at FSEN09, [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. [[Journal of Science of Computer Programming]], 74(4):168-196, 2009.

==Bibliography==

* 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.

*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. ''[[Journal of 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.

*[[He Jifeng]], Xiaoshan Li, and [[Zhiming Liu]]. ''"rCOS: A refinement calculus for object systems''". ''[[Theoretical Computer Science (journal)|Theoretical Computer Science]]'', 365(1&ndash;21–2):109&ndash;142109–142, 2006.

*[[He Jifeng]], [[Zhiming Liu]], and Xiaoshan Li. ''"A theory of reactive components" ''.[[Electronic Notes ofin Theoretical Computer Science]]'', 160:173&ndash;195173–195, 2006.

*Xin Chen, [[He Jifeng]], [[Zhiming Liu]], and Naijun Zhan. ''"A model of component-based programming''". Proc. FSEN 2007, [[Computer Science, ''Lecture Notes in Computer Science]]'' 4767, pp. 191-208&nbsp;191–208.

*Xin Chen, [[Zhiming Liu]], and Vladimir Mencl. ''"Separation of concerns and consistent integration in requirements modelling''". In ''Proc. Current Trends in Theory and Practice of [[Computer Science'', ''Lecture Notes in Computer Science]]''. Springer, [[2007]].

==See also==

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

* [[Unifying Theories of Programming]] (UTP)

==References==

*[[He Jifeng]], Xiaoshan Li, and [[Zhiming Liu]]. ''rCOS: A refinement calculus for object systems''. [[Theoretical Computer Science]], 365(1&ndash;2):109&ndash;142, 2006.

{{reflist}}

*[[He Jifeng]], [[Zhiming Liu]], and Xiaoshan Li. ''A theory of reactive components''.[[Electronic Notes of Theoretical Computer Science]], 160:173&ndash;195, 2006.

*Xin Chen, [[He Jifeng]], [[Zhiming Liu]], and Naijun Zhan. ''A model of component-based programming''. Proc. FSEN 2007, [[Computer Science, Lecture Notes in Computer Science]] 4767, pp. 191-208.

*Xin Chen, [[Zhiming Liu]], and Vladimir Mencl. ''Separation of concerns and consistent integration in requirements modelling''. In Proc. Current Trends in Theory and Practice of [[Computer Science, Lecture Notes in Computer Science]]. Springer, [[2007]].

==External links==

*Zhenbang Chen, [[Zhiming Liu]], Anders P. Ravn, Volker Stolz and Naijun Zhan. "Refinement and Verification in Component-Based Model Driven Design", Submitted to Science of Computer Programming, Elsevier. (UNU-IIST TR 388), [[2007]].

* [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]]

{{computer-stub}}

[[Category:Object-oriented programming]]

[[Category:Component-based software engineering]]

[[Category:Formal methods]]

[[Category:United Nations University]]