روشهای صوری در تحلیل و طراحی عامل گرا
Publish place: 11th Annual Conference of Computer Society of Iran
Publish Year: 1384
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,143
This Paper With 7 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI11_171
تاریخ نمایه سازی: 5 آذر 1390
Abstract:
عامهای هوشمند به یک یاز موضوعات مهم در سیستم های غیرمتمرکز مستقل و توزیع شده تبدیل شده اند و تلاشها جهت استفاده از تکنولوژی های عامل برای توسعه دادن سیستمهای نرم افزاری صنعتی و اقتصادی د رحا لافزایش است پیچیدگی چنین سیستمهایی مار ا نیازمند تکنیکهای مدلسازی سیستم برای پشتیبانی از طراحی قابل اعتماد قابل نگهداری و قابل توسعه می سازد هدف این مقاله معرفی رهیافتی برای استفاده از یک مدل صوری در طراحی عاملها می باشد مدل مبتنی بر G-nets است که نوعی شبکه پتری است که برای پشتیبانی از مدلسازی سیستم براساس مجموعه ای از ماژول های مستقل و با وابستگی کم به یکدیگر استفاده می شود. ما مدل G-nets پایه را تغییر داده ایم تا مدلی که به اصطلاح G-net عامل گرا نامیده می شود تعریف کنیم این مدل به عنوان یک مدل کلی برای طراحی عامل به حساب می آید.
Keywords:
Authors
محمدمهدی رستمی
دانشکده فنی مهندسی گروه کامپیوتر دانشگاه اصفهان
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :