ارایه روشی به منظور درستی یابی سیستم های مدل شده با UML توسط سیستم های وارسی مدل
Publish place: First National Conference on Advances in computer science and information retrieval approaches
Publish Year: 1392
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 974
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
BPJ01_333
تاریخ نمایه سازی: 29 دی 1392
Abstract:
امروزه ابزارهای وارسی مدل بسیارموردتوجه طراحان قرارگرفته اند یکی ازابزارهای معروف دروارسی مدل ابزار باگر BOGOR) میباشد که بصورت رایگان دردسترس بوده و با استفاده اززبان برنامه نویسی خاص خود امکان بسیاری جهت وارسی مدلهایمختلف ارایه میدهد دراین مقاله راه حلی برای وارسی نمودارحالت با استفاده ازتبدیل آن به زبان مخصوص باگر معرفی شده است تا بتوان این فرایند رابصورت خودکار انجام داد برای ارزیابی الگوریتم پیشنهادی ازمطالعه موردی معروف که درابزار پت PAT نیز معرفی شده استفاده گردیده ست و صحت مدل ازلحاظ وجود بن بست و حلقه درنمودارهای حالت بررسی گردیده است نتایج نشان میدهد که باوجود برخی ضعف ابزارها PAT درشناسایی بخشهای مختلف نمودارحالت این ابزار دربرخی موارد نمی تواند به درستی بن بست را تشخیص دهد اما الگوریتم پیشنهادی قادر به تشخیص بن بست درنمودارهای مختلف می باشد
Keywords:
Authors
مجید باقری
دانشجوی کارشناسی ارشد
کامران زمانی فر
دانشیاردانشگاه آزاد اسلامی واحد علوم و تحقیقات اصفهان
بهمن زمانی
استادیاردانشگاه آزاد اسلامی واحد علوم و تحقیقات اصفهان
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :