rCOS (informatyka)
rCOS oznacza udoskonalanie systemów obiektów i komponentów . Jest to formalna metoda zapewniająca tworzenie oprogramowania opartego na modelach w oparciu o komponenty .
Przegląd
rCOS został pierwotnie opracowany przez He Jifenga , Zhiminga Liu i Xiaoshana Li z UNU-IIST w Makau i składa się z ujednoliconej notacji modelowania z wieloma widokami z teorią relacyjnej semantyki i semantyki operacyjnej opartej na grafach , rachunku różniczkowego i obsługi narzędzi do budowa modeli, analiza i weryfikacja modeli oraz transformacje modeli . Transformacje modeli automatyzują reguły udoskonalania i wzorce projektowe oraz generują warunki jako zobowiązania dowodowe. rCOS obsługuje modelowanie wielowymiarowe: modele na różnych poziomach abstrakcji powiązane relacjami udoskonalania, hierarchią kompozycji komponentów oraz modele różnych widoków systemu ( protokoły interakcji komponentów, reaktywne zachowania komponentów, funkcjonalność danych oraz struktury klas i dane typy). Komponenty są komponowane i integrowane w oparciu o ich modele interfejsów w celu obsługi kompozycji stron trzecich.
Bibliografia
- Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu: „rCOS: Definiowanie znaczenia architektury oprogramowania opartego na komponentach”. 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: formalna metoda inżynierii oparta na modelach dla oprogramowania komponentowego”. Granice informatyki w Chinach 6 (1): 17-39 (2012)
- Zhiming Liu, Charles Morisset i Volker Stolz. „rCOS: Theory and Tool for Component-Based Model Driven Development, Keynote at FSEN09”, Technical Report 406 , UNU-IIST, PO Box 3058, Makau, luty 2009.
- Zhenbang Chen, Zhiming Liu, Ander P. Ravn i Volker Stolz (2009). „Udoskonalenie i weryfikacja w projektowaniu opartym na modelach opartych na komponentach”. Raport badawczy UNU-IIST 381. Science of Computer Programming , 74(4):168-196, 2009.
- Liang Zhao, Xiaojian Liu, Zhiming Liu i Zongyan Qiu (2009). „Transformacje wykresów dla udoskonalania zorientowanego obiektowo”, Formalne aspekty informatyki , 21 (1-2): 103-131, 2009.
- He Jifeng, Xiaoshan Li i Zhiming Liu. „Inżynieria oprogramowania oparta na komponentach”. w pro. ICTAC'2005, Notatki z wykładów z informatyki, tom 3722. Springer, 2005.
- He Jifeng, Xiaoshan Li i Zhiming Liu. „rCOS: rachunek wyrafinowania dla systemów obiektowych”. Informatyka teoretyczna , 365 (1–2): 109–142, 2006.
- He Jifeng, Zhiming Liu i Xiaoshan Li. „Teoria składników reaktywnych” Notatki elektroniczne w informatyce teoretycznej , 160: 173–195, 2006.
- Xin Chen, He Jifeng, Zhiming Liu i Naijun Zhan. „Model programowania komponentowego”. proc. FSEN 2007, Informatyka, Notatki z wykładów z informatyki 4767, s. 191–208.
- Xin Chen, Zhiming Liu i Vladimir Mencl. „Rozdzielenie problemów i spójna integracja w modelowaniu wymagań”. w Proc. Aktualne trendy w teorii i praktyce informatyki , notatki z wykładów z informatyki] . Springera, 2007.