Content deleted Content added
Hmainsbot1 (talk | contribs) m →References: AWB general fixes and delink dates per WP:DATELINK, WP:YEARLINK and MOS:UNLINKYEARS using AWB (8207) |
Tassedethe (talk | contribs) m WPCleaner v1.19 - Repaired 1 link to disambiguation page - (You can help) - Zhiming Liu, 1 to be fixed - Theoretical Computer Science |
||
Line 1:
{{lowercase}}
'''rCOS''' stands for refinement of [[Object (philosophy)|object]] and [[Software component|component]] systems. It is a formal method [[component-based]] [[model-driven]] software
development. It was originally developed by [[He Jifeng]], [[Liu Zhiming (computer scientist)|Zhiming Liu]] and [[Xiaoshan Li]] at [[UNU-IIST]], 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 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 protocol]]s 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.
==References==
*Wei Ke, Xiaoshan Li, [[Liu Zhiming (computer scientist)|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)
* [[Liu Zhiming (computer scientist)|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, [[Liu Zhiming (computer scientist)|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, [[Liu Zhiming (computer scientist)|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 [[Liu Zhiming (computer scientist)|Zhiming Liu]]. ''Component-based software engineering''. In Pro. ICTAC’2005, [[Lecture Notes in Computer Science]] volume 3722. Springer, 2005.
*[[He Jifeng]], Xiaoshan Li, and [[Liu Zhiming (computer scientist)|Zhiming Liu]]. ''rCOS: A refinement calculus for object systems''. [[Theoretical Computer Science]], 365(1–2):109–142, 2006.
*[[He Jifeng]], [[Liu Zhiming (computer scientist)|Zhiming Liu]], and Xiaoshan Li. ''A theory of reactive components''.[[Electronic Notes in Theoretical Computer Science]], 160:173–195, 2006.
*Xin Chen, [[He Jifeng]], [[Liu Zhiming (computer scientist)|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, [[Liu Zhiming (computer scientist)|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.
*Zhenbang Chen, [[Liu Zhiming (computer scientist)|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.
{{computer-stub}}
| |||