rCOS (datavetenskap)
rCOS står för förfining av objekt- och komponentsystem . Det är en formell metod som tillhandahåller komponentbaserad modelldriven mjukvaruutveckling .
Översikt
rCOS utvecklades ursprungligen av He Jifeng , Zhiming Liu och Xiaoshan Li vid UNU-IIST i Macau , och består av en enhetlig multi-view modellering notation med en teori om relationell semantik och grafbaserad operationell semantik , en förfiningskalkyl och verktygsstöd för modellkonstruktion, modellanalys och verifiering och modelltransformationer . Modelltransformationer automatiserar förfiningsregler och designmönster och genererar villkor som bevisförpliktelser. rCOS stödjer multidimensionell modellering: modeller på olika abstraktionsnivåer relaterade till förfiningsrelationer, hierarki av sammansättningar av komponenter och modeller av olika syn på systemet (interaktionsprotokoll för komponenter, reaktiva beteenden hos komponenter, datafunktionalitet och klassstrukturer och data typer). Komponenter är sammansatta och integrerade baserat på deras gränssnittsmodeller för att stödja tredje parts sammansättning.
Bibliografi
- Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu: "rCOS: Definition 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: en formell modelldriven ingenjörsmetod för komponentbaserad programvara". Frontiers of Computer Science in China 6(1): 17-39 (2012)
- Zhiming Liu, Charles Morisset och Volker Stolz. "rCOS: Theory and Tool for Component-Based Model Driven Development, Keynote at FSEN09", Technical Report 406 , UNU-IIST, PO Box 3058, Macau, februari 2009.
- Zhenbang Chen, Zhiming Liu, Ander P. Ravn och Volker Stolz (2009). "Förfining och verifiering i komponentbaserad modelldriven design". UNU-IIST Research Report 381. Science of Computer Programming , 74(4):168-196, 2009.
- Liang Zhao, Xiaojian Liu, Zhiming Liu och Zongyan Qiu (2009). "Graftransformationer för objektorienterad förfining", Formal Aspects of Computing , 21(1-2):103-131, 2009.
- He Jifeng, Xiaoshan Li och Zhiming Liu. "Komponentbaserad mjukvaruteknik". I Pro. ICTAC'2005, Lecture Notes in Computer Science volym 3722. Springer, 2005.
- He Jifeng, Xiaoshan Li och Zhiming Liu. "rCOS: En förfiningskalkyl för objektsystem". Teoretisk datavetenskap , 365(1–2):109–142, 2006.
- He Jifeng, Zhiming Liu och Xiaoshan Li. "En teori om reaktiva komponenter" Electronic Notes in Theoretical Computer Science , 160:173–195, 2006.
- Xin Chen, He Jifeng, Zhiming Liu och Naijun Zhan. "En modell för komponentbaserad programmering". Proc. FSEN 2007, Datavetenskap, föreläsningsanteckningar i datavetenskap 4767, s. 191–208.
- Xin Chen, Zhiming Liu och Vladimir Mencl. "Separation av bekymmer och konsekvent integration i kravmodellering". I Proc. Aktuella trender inom datavetenskapens teori och praktik , föreläsningsanteckningar i datavetenskap] . Springer, 2007.