ريبيكا (لغة برمجة)
 | تحتوي هذه المقالة على العديد من المشكلات. يُرجى المساعدة في تحسينها أو مناقشة هذه المشكلات على صفحة المناقشة . ( تعرف على كيفية ومتى يمكنك إزالة هذه الرسائل )
|
Rebeca (اختصار لـ Reactive Objects Language) هي لغة نمذجة تعتمد على الجهات الفاعلة ولها أساس رسمي، صُممت في محاولة لسد الفجوة بين أساليب التحقق الرسمية والتطبيقات الحقيقية. ويمكن اعتبارها نموذجًا مرجعيًا للحوسبة المتزامنة ، استنادًا إلى تفسير عملي لنموذج الجهات الفاعلة. كما أنها منصة لتطوير أنظمة متزامنة تعتمد على الكائنات في الممارسة العملية.
بالإضافة إلى وجود طريقة مناسبة وفعالة لنمذجة الأنظمة المتزامنة والموزعة، يحتاج المرء إلى نهج تحقق رسمي لضمان صحتها. تدعم Rebeca مجموعة من أدوات التحقق. قدمت الأدوات السابقة واجهة أمامية للعمل مع كود Rebeca، وترجمة كود Rebeca إلى لغات إدخال لبرامج التحقق من النماذج المعروفة والناضجة (مثل SPIN و NuSMV) وبالتالي، كانت قادرة على التحقق من خصائصها. منذ عام 2005، تدعم Rebeca فاحص نموذج مباشر يعتمد على Modere (محرك التحقق من النماذج الخاص بـ Rebeca). تُستخدم تقنيات التحقق والتجريد المعيارية لتقليل مساحة الحالة وجعل من الممكن التحقق من الأنظمة التفاعلية المعقدة. بالإضافة إلى هذه التقنيات، يدعم Modere تقليل الترتيب الجزئي وتقليل التناظر.
انظر أيضا
مراجع
- م. سرجاني. المواصفات الرسمية والتحقق من الأنظمة المتزامنة والتفاعلية، أطروحة دكتوراه، قسم هندسة الكمبيوتر، جامعة شريف للتكنولوجيا، ديسمبر 2004.
- م. سرجاني، أ. موفاجار. نموذج قائم على الكائنات للوكلاء، في وقائع ورشة عمل حول وكلاء إدارة المعلومات، الجمعية النمساوية للكمبيوتر، أكتوبر 2002.
روابط خارجية
- الصفحة الرئيسية لريبيكا
- مختبر الأساليب الرسمية، جامعة طهران
 | هذه المقالة المتعلقة بلغة البرمجة هي عبارة عن جزء صغير . يمكنك مساعدة ويكيبيديا من خلال توسيعها. |
