A framework for automatically ensuring the conformance of agent designs

سیستم های چندگانه به طور فزاینده ای در برنامه های پیچیده به دلیل ویژگی هایی مانند استقلال، فعالیت حرفه ای، انعطاف پذیری، قابلیت اطمینان و توانایی اجتماعی استفاده می شود. این ویژگی های بسیار بالا نیز سیستم های چند عامل را تأیید می کند یک کار چالش انگیز است. در این مقاله ما پیشنهاد می کنیم یک مکانیسم، از جمله پشتیبانی از ابزار خودکار، برای تشخیص نقص فاز اولیه با مقایسه ساختار برنامه ای از طراحی یک عامل باورنکردنی و دلخواه در برابر مدل های الزام آور و پروتکل های متقابل. شهود پایه ای از رویکرد ما این است که مجموعه ای از رفتارهای احتمالی را از مدل های رفتار عاملان استخراج و بررسی کنیم آیا این اجرا ها مطابق با مشخصات سیستم می شود یا خیر. این رویکرد در زمان طراحی مورد استفاده قرار می گیرد و نیازی به کد منبع نیست، بنابراین قادر به تشخیص و حذف برخی از نقص ها در مرحله اولیه چرخه حیات توسعه نرم افزار می باشد. ما یک روش تجربی برای ارزیابی چارچوب تأیید پیشنهاد شده دنبال کردیم. ارزیابی ما نشان می دهد که حتی ویژگی های سیستم ساده ای که توسط توسعه دهندگان نسبتا پیشرفته ایجاد شده، مستعد نقص هستند و رویکرد ما در کشف بیشتر این نقص ها موفق است. علاوه بر این، ما یک تجزیه و تحلیل مقیاس پذیری در رویکرد انجام دادیم، و نتایج نشان می دهد که رویکرد ما می تواند مقیاس زمانی که طرح ها در اندازه رشد می کنند.