• ارائه راهکاری مبتنی بر سیستم تبدیل گراف برای بررسی هم خوانی بین نمودارهای متدولوژی مبتنی بر عامل mase

    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1392/07/24
    • تاریخ انتشار در تی پی بین: 1392/07/24
    • تعداد بازدید: 1095
    • تعداد پرسش و پاسخ ها: 0
    • شماره تماس دبیرخانه رویداد: -
    از چالش های مهندسی نرم افزار مبتنی بر عامل مدل سازی عامل ها، پیاده سازی آن ها و همچنین ارزیابی سیستم های عامل گرا به طور صحیح، درست و بدون ابهام است. از آنجا که روش های صوری بر پایه ریاضی هستند چارچوبی را برای "سیستم های مبتنی بر عامل" فراهم می کنند که بتوان سیستم عاملگرا را به طور صحیح مدل سازی، پیاده سازی و ارزیابی کرد. در متدولوژیmase ، در هفت مرحله با گذر از مراحل مختلف تحلیل و طراحی، مستندات گوناگونی تهیه می گردد که این مستندات بیشتر به صورت گرافیکی ارائه می شوند. در این رهیافت این مستندات را می توان با روش های صوری مانند "سیستم تبدیل گراف" صوری کرد و امکانی را فراهم کرد که بتوان به صورت خودکار، دقیق و سریع نحو مدل و هم خوانی بین نمودارهای متدولوژی mase را بررسی کرد و در نتیجه هزینه های طراحی و پیاده سازی را کاهش داد.

سوال خود را در مورد این مقاله مطرح نمایید :

با انتخاب دکمه ثبت پرسش، موافقت خود را با قوانین انتشار محتوا در وبسایت تی پی بین اعلام می کنم
مقالات جدیدترین رویدادها
مقالات جدیدترین ژورنال ها