روشهای صوری در تحلیل و طراحی عامل گرا
عنوان مقاله: روشهای صوری در تحلیل و طراحی عامل گرا
شناسه ملی مقاله: ACCSI11_171
منتشر شده در یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران در سال 1384
شناسه ملی مقاله: ACCSI11_171
منتشر شده در یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران در سال 1384
مشخصات نویسندگان مقاله:
محمدمهدی رستمی - دانشکده فنی مهندسی گروه کامپیوتر دانشگاه اصفهان
ناصر قاسم آقایی
خلاصه مقاله:
محمدمهدی رستمی - دانشکده فنی مهندسی گروه کامپیوتر دانشگاه اصفهان
ناصر قاسم آقایی
عامهای هوشمند به یک یاز موضوعات مهم در سیستم های غیرمتمرکز مستقل و توزیع شده تبدیل شده اند و تلاشها جهت استفاده از تکنولوژی های عامل برای توسعه دادن سیستمهای نرم افزاری صنعتی و اقتصادی د رحا لافزایش است پیچیدگی چنین سیستمهایی مار ا نیازمند تکنیکهای مدلسازی سیستم برای پشتیبانی از طراحی قابل اعتماد قابل نگهداری و قابل توسعه می سازد هدف این مقاله معرفی رهیافتی برای استفاده از یک مدل صوری در طراحی عاملها می باشد مدل مبتنی بر G-nets است که نوعی شبکه پتری است که برای پشتیبانی از مدلسازی سیستم براساس مجموعه ای از ماژول های مستقل و با وابستگی کم به یکدیگر استفاده می شود. ما مدل G-nets پایه را تغییر داده ایم تا مدلی که به اصطلاح G-net عامل گرا نامیده می شود تعریف کنیم این مدل به عنوان یک مدل کلی برای طراحی عامل به حساب می آید.
کلمات کلیدی: روش صوری، عامل هوشمند، تحلیل وطراحی عامل گرا، شبکه پتری، اشیا فعال، شبکه G-net
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/127260/