Rebeka (dasturlash tili) - Rebeca (programming language)

Rebekka (Reaktiv ob'ektlar tilining qisqartmasi) - bu aktyor asoslangan modellashtirish tili rasmiy tekshirish yondashuvlari va haqiqiy dasturlar o'rtasidagi farqni bartaraf etish maqsadida ishlab chiqilgan rasmiy asos bilan. Bu aktyor modelini operativ talqin qilish asosida bir vaqtda hisoblash uchun mos yozuvlar modeli sifatida qaralishi mumkin. Bu, shuningdek, amalda ob'ektga asoslangan bir vaqtda tizimlarni ishlab chiqish platformasi.

Bir vaqtda va taqsimlangan tizimlarni modellashtirish uchun mos va samarali usulga ega bo'lishdan tashqari, ularning to'g'riligini ta'minlash uchun rasmiy tekshiruv yondashuvi zarur. Rebekani tekshirish vositalari to'plami qo'llab-quvvatlaydi. Avvalgi vositalar Rebeca kodi bilan ishlashni va Rebeca kodini taniqli va etuk model shashkalarning kirish tillariga (SPIN va NuSMV kabi) tarjima qilish uchun oldingi qismni taqdim etdi va shu bilan ularning xususiyatlarini tekshirishga muvaffaq bo'ldi. Modere (Rebeca modelini tekshirish vositasi) asosida to'g'ridan-to'g'ri model tekshiruvchisi tomonidan qo'llab-quvvatlanadi. Modulli tekshirish va abstraktsiya texnikasi holatni kamaytirish va murakkab reaktiv tizimlarni tekshirishga imkon berish uchun ishlatiladi. Ushbu uslublardan tashqari, Modere qisman tartibni qo'llab-quvvatlaydi. kamaytirish va simmetriyani kamaytirish.

Adabiyotlar

  • M. Sirjani. Bir vaqtda va reaktiv tizimlarning rasmiy spetsifikatsiyasi va tasdiqlanishi, Nomzodlik dissertatsiyasi, Sharif Texnologiya Universiteti, Kompyuter injiniringi bo'limi, 2004 yil dekabr.
  • M. Sirjani, A. Movaghar. Avstriya kompyuter jamiyati, 2002 yil oktyabr, Axborotni boshqarish bo'yicha agentliklar bo'yicha seminar materiallari bo'yicha agentlar uchun ob'ektga asoslangan model.

Shuningdek qarang

Tashqi havolalar