WikiDer > RCOS (kompyuter fanlari)

RCOS (computer sciences)

rCOS takomillashtirishni anglatadi ob'ekt va komponent tizimlar. Bu rasmiy usul ta'minlash tarkibiy qismlarga asoslangan modelga asoslangan dasturiy ta'minot rivojlanish.

Umumiy nuqtai

rCOS dastlab tomonidan ishlab chiqilgan U Jifeng, Tsziming Liu va Xiaosan Li at UNU-IIST yilda Makao, va relyatsion semantik va grafikaga asoslangan nazariya bilan birlashtirilgan ko'p ko'lamli modellashtirish belgilaridan iborat operatsion semantika, a aniqlik hisobi va modellarni qurish, modellarni tahlil qilish va tekshirish uchun vositalarni qo'llab-quvvatlash va model transformatsiyalari. Modellashtirilgan transformatsiyalar takomillashtirish qoidalari va dizayn naqshlarini avtomatlashtiradi va majburiy shartlar sifatida sharoit yaratadi. rCOS ko'p o'lchovli modellashtirishni qo'llab-quvvatlaydi: takomillashtirish munosabatlari bilan bog'liq abstraktsiyaning turli darajalaridagi modellar, komponentlar kompozitsiyalari iyerarxiyasi va tizimning turli xil ko'rinishlari modellari (o'zaro protokollar komponentlar, komponentlarning reaktiv xatti-harakatlari, ma'lumotlar funktsionalligi va sinf tuzilmalari va ma'lumotlar turlari). Komponentlar o'zlarining interfeyslari modellari asosida uchinchi tomon tarkibini qo'llab-quvvatlash uchun yaratilgan va birlashtirilgan.[1]

Bibliografiya

  • Ruzhen Dong, Yoxannes Faber, Vey Ke, Chjiming Lyu: "rCOS: Komponentlarga asoslangan dasturiy ta'minot me'morchiligini aniqlash". Dasturlash va rasmiy muhandislik usullarining birlashtiruvchi nazariyalari - ICTAC dasturiy ta'minot muhandisligi bo'yicha o'quv maktabi 2013, LNCS 8050: 1-66, Springer (2013)
  • Vey Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz: "rCOS: komponentlarga asoslangan dasturiy ta'minot uchun rasmiy modelga asoslangan muhandislik usuli". Xitoyda kompyuter fanlari chegaralari 6(1): 17-39 (2012)
  • Chjiming Liu, Charlz Morisset va Volker Stolz. "rCOS: FSEN09-da asosiy ma'lumotlar, komponentlarga asoslangan modellarni ishlab chiqish nazariyasi va vositasi", Texnik hisobot 406, UNU-IIST, P.O. 3058-quti, Makao, 2009 yil fevral.
  • Zhenbang Chen, Chjiming Lyu, Ander P. Ravn va Volker Stolz (2009). "Komponentlarga asoslangan namunaviy dizayndagi takomillashtirish va tekshirish". UNU-IIST tadqiqot hisoboti 381. Kompyuter dasturlash fanlari, 74(4):168-196, 2009.
  • Liang Chjao, Xiaojian Liu, Chjiming Liu va Zongyan Tsyu (2009). "Ob'ektga yo'naltirilgan aniqlashtirish uchun grafik transformatsiyalar", Hisoblashning rasmiy jihatlari, 21(1-2):103-131, 2009.
  • U Jifeng, Xiaosan Li va Tszining Lyu. "Komponentlarga asoslangan dasturiy ta'minot muhandisligi". Pro-da. ICTAC’2005, Kompyuter fanidan ma'ruza matnlari jild 3722. Springer, 2005 yil.
  • U Jifeng, Xiaosan Li va Tszining Lyu. "rCOS: ob'ekt tizimlari uchun aniq hisoblash". Nazariy kompyuter fanlari, 365(1–2):109–142, 2006.
  • Xe Jifeng, Chjiming Lyu va Xiaosan Li. "Reaktiv komponentlar nazariyasi" Nazariy kompyuter fanidagi elektron yozuvlar, 160:173–195, 2006.
  • Sin Chen, Xe Jifeng, Chjiming Lyu va Naydjun Chjan. "Komponentlarga asoslangan dasturlash modeli". Proc. FSEN 2007, informatika, Kompyuter fanidan ma'ruza matnlari 4767, 191–208 betlar.
  • Sin Chen, Chjiming Lyu va Vladimir Menl. "Xavotirlarni ajratish va talablarni modellashtirishda izchil integratsiya". Yilda Proc. Informatika nazariyasi va amaliyotining dolzarb tendentsiyalari, Kompyuter fanidan ma'ruza matnlari]. Springer, 2007 yil.

Shuningdek qarang

Adabiyotlar

  1. ^ "rCOS". UNU-IIST. Archive.org. 2013. Arxivlangan asl nusxasi 2013 yil 13-noyabrda. Olingan 22 aprel 2014.

Tashqi havolalar