ارزیابی و پیاده سازی روش تحلیل دروازه ای بر روی موتور جریان کار Flowable به منظور صحت سنجی ساختاری مدل های فرآیندی BPMN

موتور جریان کار Flowable ، در بسیاری از پلتفرم های ایجاد کمکد و مبتنی بر استاندارد BPMN مورد استفاده قرار می گیرد؛ این پلتفرم ها کاربران را قادر می سازد تا بدون نیاز به برنامه نویسی به سبک سنتی و صرفا با ترسیم مدل های فرآیندی به زبان بصری BPMN۲.۰ ، نرم افزارهای مورد نیاز خود را با سرعت بالاتر و با حداقل نیاز به دانش مهندسی نرم افزار تولید کنند؛ با وجود مزایای این پلتفرم ها، به علت عدم وجود دانش کافی کاربران در خصوص تضمین کیفیت نرم افزار، ممکن است با بروز خطاهای ساختاری (نظیر بن بست و تکرار نامتناهی کارها)، نرم افزارهای ایجاد شده فاقد کیفیت لازم باشند. تاکنون روش های مختلفی برای صحت سنجی مدل های فرآیندی نظیر نگاشت آنها به مدل های صوری نظیر شبکه های پتری ارائه شده است؛ بسیاری از این روش ها مستلزم نگاشت مدل BPMN به مدل صوری بوده و دارای پیچیدگی هستند. در بین این روش ها، روش تحلیل دروازه ای قابلیت صحت سنجی ساختاری مدل های BPMN را بدون نیاز به نگاشت به مدل های صوری فراهم می کند و درستی آن در بعد تئوری اثبات شده است. در این تحقیق، ضمن پیاده سازی آن روش بر روی موتور جریان کار Flowable ، میزان دقت آن بر اساس دادگان Camunda مورد ارزیابی قرار گرفته است و ضمن ایجاد قابلیت صحت سنجی ساختاری برای این موتور جریان کار، مشخص شد که بیش از ۹۶ درصد از خطاهای ساختاری موجود در مدل های فرآیندی، شناسایی شده که بیش از ۹۹ درصد از آنها به درستی تشخیص داده شده اند.

Keywords:

موتور جریان کار Flowable , پلتفرم های ایجاد کم کد , استاندارد BPMN , صحت ساختاری , تحلیل ایستا , بن بست , بن بست حلقوی , مهندسی مدل رانده , تضمین کیفیت نرم افزار