وارسی و اعتبارسنجی خودکار نمودارهای فعالیت زبان مدل سازی یکنواخت
سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 867
فایل این مقاله در 15 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ITCC01_460
تاریخ نمایه سازی: 9 فروردین 1395
چکیده مقاله:
وارسی و اعتبارسنجی سیستم های مدل شده با روشهای صوری به یکی از دو روش اثبات قضیه و خودکار انجام میشود. چون روش اثبات قضیه به دخالت کاربر نیاز دارد، دشوار است. ما در این مقاله اعتبارسنجی و وارسی را توسطوارسی کننده مدل و به طور خودکار انجام می دهیم. برای این منظور می توان سیستم های مدل شده را به سیستم گذارتبدیل کرد و سپس به عنوان ورودی به یک وارسی کننده مدل مانند GROOVE داد تا به طور خودکار وارسی واعتبارسنجی شود. اساس این کار مدلسازی نمودارهای فعالیت به وسیله سیستم تبدیل گراف و ماشین حالت تجریدیاست. توصیف صوری رفتار این سیستم ها مبتنی بر حرکت توکن در گره های کنترلی نمودارهای فعالیت زبان مدلسازی یکنواخت نسخه می باشد.
کلیدواژه ها:
نویسندگان
سمیه عزیزی
عضو هیئت علمی دانشگاه آزاد اسلامی اراک سما، گروه کامپیوتر
کیوان محبی
دانشگاه آزاد اسلامی واحد مبارکه،گروه برق و کامپیوتر، مبارکه، اصفهان، ایران
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :