عنوان
وارسي رسمي مدل‌هاي فرايند BPMN با استفاده از توليد خودكار قيود OCL
مقطع تحصيلي
كارشناسي ارشد
چكيده
شكست پروژه‌هاي نرم‌افزاري اغلب نتيجه درك نادرست الزامات در طول فرايند توسعه و تحليل نيازمندي‌ها است. در اين راستا استفاده از مدل‌هاي گرافيكي جهت ترسيم فرايندهاي سيستم موجب مي‌شود تا تمامي افراد درگير در پروژه اعم از مديران، كارفرمايان و همچنين توسعه‌دهندگان نرم‌افزار به يك زبان مشترك (با حداقل ابهام) جهت بيان و درك نيازمندي‌هاي سيستم برسند. يكي از نمادگاني كه امروزه به‌‌طور گسترده براي مدل‌سازي فرايندهاي كسب‌وكار استفاده مي‌شود، مدل و نمادگان فرايند كسب‌وكار (BPMN) است كه توانسته به يك استاندارد غيررسمي جهت توصيف و تحليل فرايند، هم در حوزه فناوري اطلاعات و هم بسياري از حوزه‌هاي تجاري ديگر، تبديل شود. همان‌طور كه پيش‌تر اشاره شد به دليل نقش بسيار اساسي و مهم مدل‌هاي فرايند كسب‌وكار در درك نيازمندي‌هاي سيستم، دقت و درستي اين مدل‌ها امري حياتي است. بااين‌حال، گستردگي و تا حدودي پيچيدگي نمادها و مشخصات BPMN منجر به وجود خطاهاي ساختاري بسياري در مدل‌هاي توسعه‌يافته توسط كاربران مي‌شود.
يكي از مطمئن‌ترين روش‌هاي صحت‌سنجي مدل‌هاي ايجادشده، استفاده از روش وارسي رسمي است كه مي‌تواند قوانين خوش‌تركيب بودن مدل را توسط زبان‌هاي رسمي مختلفي بيان كرده و سپس با استفاده از ابزار مناسب، برآورده شدن آن‌ها را وارسي نمايد. با توجه به ويژگي‌هاي نمادگان BPMN، در اين پژوهش جهت بيان قوانين ساختاري اين نمادگان از زبان رسمي قيد شي (OCL) استفاده شده است. در ابتدا به كمك تكنيك‌هاي پردازش زبان طبيعي، قوانين مطرح‌شده در سند استاندارد اين نمادگان به‌صورت خودكار به قيود OCL معادل آن‌ها ترجمه شده است، سپس با اضافه كردن اين قيود به فرامدل فعلي اين نمادگان، اين فرامدل در راستاي تشخيص دقيق‌تر و كامل‌تر خطاهاي ساختاري موجود در مدل‌هاي BPMN، ارتقاء يافته است.
جهت ارزيابي در اين پژوهش دو مرحله طراحي‌شده است. در مرحله اول الگوريتم پيشنهادي ازنظر ميزان پوشش ساختار جملات و همچنين درستي نحوي قيود توليدشده مورد ارزيابي قرار گرفته است. نتايج ارزيابي اين مرحله، پوشش 84.4% از ساختار جملات و همچنين درستي 100% قيود ازنظر نحوي را نشان داده است. در مرحله دوم نيز صحت معنايي و عملكرد قيود توليدشده مورد ارزيابي قرار گرفت. ابتدا با استفاده از نمونه آزمون‌هاي طراحي‌شده، درستي معنايي قيود توليدشده بررسي شد و 84.8% قيود ازنظر معنايي صحيح بودند. سپس 18 مدل فرايند كسب‌وكار عيني از صنعت گردآوري شدند كه پس از وارسي رسمي اين مدل‌ها مشخص شد كه 84.2% از خطاهاي موجود در آن‌ها به‌درستي تشخيص داده شده است.
شماره ركورد
232409
دانشگاه
دانشگاه اصفهان
استاد مشاور
كوين لانو
رشته تحصيلي
مهندسي كامپيوتر - نرم افزار
استاد راهنما
شكوفه كلاه‌دوز رحيمي