RCOS (počítačové vědy) - RCOS (computer sciences)
rCOS znamená zdokonalení objekt a komponent systémy. Je to formální metoda poskytující na bázi komponent modelový software rozvoj.
Přehled
rCOS byl původně vyvinut společností On Jifeng, Zhiming Liu a Xiaoshan Li v UNU-IIST v Macao, a skládá se z jednotné vícepohledové modelové notace s teorií relační sémantiky a grafů operační sémantika, a kalkulátor upřesnění a podpora nástrojů pro konstrukci modelů, analýzu a ověřování modelů a modelové transformace. Transformace modelu automatizují pravidla upřesnění a návrhové vzory a generují podmínky jako závazky důkazu. rCOS podporuje vícerozměrné modelování: modely na různých úrovních abstrakce související se zjemňovacími vztahy, hierarchie skladeb komponent a modely různých pohledů na systém (interakční protokoly komponent, reaktivní chování komponent, datová funkčnost a struktury tříd a datové typy). Komponenty jsou složeny a integrovány na základě jejich modelů rozhraní pro podporu složení třetích stran.[1]
Bibliografie
- Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu: „rCOS: Definování významů softwarových architektur založených na komponentách“. 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: formální modelová inženýrská metoda pro software na bázi komponent“. Frontiers of Computer Science in China 6(1): 17-39 (2012)
- Zhiming Liu, Charles Morisset a Volker Stolz. "rCOS: Theory and Tool for Component-Based Model Driven Development, Keynote at FSEN09", Technická zpráva 406, UNU-IIST, P.O. Box 3058, Macao, únor 2009.
- Zhenbang Chen, Zhiming Liu, Ander P. Ravn a Volker Stolz (2009). "Zdokonalení a ověření v konstrukčním modelu založeném na komponentách". Výzkumná zpráva UNU-IIST 381. Věda o počítačovém programování, 74(4):168-196, 2009.
- Liang Zhao, Xiaojian Liu, Zhiming Liu a Zongyan Qiu (2009). "Transformace grafů pro objektově upřesnění", Formální aspekty práce na počítači, 21(1-2):103-131, 2009.
- He Jifeng, Xiaoshan Li a Zhiming Liu. „Softwarové inženýrství založené na komponentách“. V Pro. ICTAC’2005, Přednášky z informatiky svazek 3722. Springer, 2005.
- He Jifeng, Xiaoshan Li a Zhiming Liu. "rCOS: Zušlechťovací počet pro objektové systémy". Teoretická informatika, 365(1–2):109–142, 2006.
- He Jifeng, Zhiming Liu a Xiaoshan Li. "Teorie reaktivních složek" Elektronické poznámky v teoretické informatice, 160:173–195, 2006.
- Xin Chen, He Jifeng, Zhiming Liu a Naijun Zhan. "Model programování na základě komponent". Proc. FSEN 2007, Počítačová věda, Přednášky z informatiky 4767, s. 191–208.
- Xin Chen, Zhiming Liu a Vladimir Mencl. "Oddělení obav a důsledná integrace do modelování požadavků". v Proc. Současné trendy v teorii a praxi informatiky, Poznámky k přednášce z informatiky]. Springer, 2007.
Viz také
Reference
- ^ „rCOS“. UNU-IIST. Archive.org. 2013. Archivovány od originál 13. listopadu 2013. Citováno 22. dubna 2014.