RCOS (computer sciences): Difference between revisions

Revision as of 08:28, 27 August 2008

Latest revision as of 07:12, 18 July 2025

(38 intermediate revisions by 32 users not shown)

Line 1:

{{lowercase}}

'''rCOS''' isstands a relational semantic model andfor refinement calculusof for [[Object (philosophy)|object-oriented]] and [[Software component|component-based]] software developmentsystems. It wasis originally developed bya [[Heformal Jifengmethod]], [[Zhiming Liu]] andproviding [[Xiaoshan Licomponent-based]] at [[UNUmodel-IIST]].driven It supports both state-based and event-based modeling and analysis [[software development]]. Please visit http://rcos.iist.unu.edu/ for more detailsdevelopment.

==ReferencesOverview==

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

* Zhenbang Chen, [[Zhiming Liu]], Ander P. Ravn and Volker Stolz (2008). ''Refinement and Verification in Component-Based Model Driven Design''. UNU-IIST Research Report 381. Accepted by [[Journal of Science of Computer Programming]].

==Bibliography==

* Liang Zhao, Xiaojian Liu, [[Zhiming Liu]] and Zongyan Qiu (2008). ''Graph transformations for object-oriented refinement'', [[Formal Aspects of Computing]] (published online publication now and hard copy later). It is also available as as UNU-IIST Research Report 381.

*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 (20082009). ''"Refinement and Verification in Component-Based Model Driven Design''". UNU-IIST Research Report 381. Accepted by ''[[Journal of Science of Computer Programming]]'', 74(4):168-196, 2009.

* Liang Zhao, Xiaojian Liu, [[Zhiming Liu]] and Zongyan Qiu (20082009). ''"Graph transformations for object-oriented refinement''", ''[[Formal Aspects of Computing]]'', 21(published online publication now and hard copy later1-2). It is also available as as UNU:103-IIST Research Report131, 3812009.

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