Bridging Intentional and Formal Models: An Agent-Oriented RE Framework Integrating i and CASL

الملخص

تستلزم التعقيدات المتزايدة للأنظمة البرمجية إجراء تحليل دقيق خلال المراحل المبكرة لهندسة المتطلبات. بينما تتفوق أطر عمل هندسة المتطلبات الموجهة بالأهداف - مثل إطار *i - في التقاط نوايا أصحاب المصلحة والتبعيات الاجتماعية، فإنها تفتقر إلى دلالات شكلية تتيح التحقق الدقيق. على العكس من ذلك، تعمل الأساليب الشكلية غالبًا على مستوى من التفصيل منفصل عن المنطق التنظيمي عالي المستوى. تقدم هذه الورقة منهجية جديدة لهندسة المتطلبات موجهة للعوامل لسد هذه الفجوة من خلال دمج النمذجة القصدية غير الشكلية الخاصة بإطار *i مع المواصفات القائمة على الحالة الذهنية الشكلية الخاصة بلغة تحديد المواصفات للعوامل المعرفية (CASL). ونقدم مخططات المبرر الاستراتيجي المشروح بالقصد (iASR)، وهي امتداد لنماذج المبرر الاستراتيجي (SR) الخاصة بإطار *i، معززة بشروحات التركيب والروابط لتوفير الدقة اللازمة للتعيين الشكلي. ونحدد تعيينًا منهجيًا من مخططات iASR إلى لغة CASL، مما يمكن من التحليل الشكلي لأهداف العوامل ومعرفتها وتفاعلاتها. يتم إثبات فائدة الإطار المقترح من خلال دراسة حالة مفصلة لمنظم الجدولات، موضحة كيف يدعم التحقق من اتساق المتطلبات، وتحليل تفكيك الأهداف، والجدوى المعرفية. المساهمة الرئيسية هي توفير مسار سلس وقابل للتتبع من النماذج القصدية عالية المستوى إلى مواصفات العوامل القابلة للتحقق والتنفيذ.