ارائه ی یک نگاشت بین مدل های فرآیندی ۰.BPMN۲ و شبکه های پتری جریان کار بر اساس الگوهای جریان کنترلی پایه ای و مفهوم عام مدل های فرآیندی

سال انتشار: 1401
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 176

فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

CSICC28_014

تاریخ نمایه سازی: 27 اسفند 1401

چکیده مقاله:

استاندارد BPMN۲.۰ ،یکی از پر کاربرد ترین و محبوب ترین زبان های مدل سازی فرایند های کسب و کار است.این استاندارد در عین داشتن قابلیت فهم بالا دارای ماهیتی غیر صوری است.این ویژگی می تواند کارهایی مثل صحت سنجی فرآیند و یا انجام انواع تحلیل های کمی مثل ارزیابی کارایی آن را با دشواری هایی روبرو کند.در تحقیقات پیشین،روش ها مختلفی به منظور صوری سازی مدل های فرآیندی BPMN۲.۰ ، ارائه شده است،از جمله :نگاشت آن به شبکه های پتری کلاسیک،توصیف جبری ان و یا استفاده از سایر روش های صوری.در این پژوهش ،بر مبنای یک نگاه عام و مستقل از زبان مدل سازی به مدل های فرآیندی و بر مبنای الگوهای جریان کنترلی پایه ای،نگاشتی بین مدل های فرآیندی BPMN۲.۰ ، و یکی از گسترش های شبکه های پتری به نام شبکه های پتری جریان کار ارائه شده است.ین نگاشت نسبت به روش پیشین ،سازگاری بهتری با اجزای مدل های فرآیندی BPMN۲.۰ ، دارد و نسبت به نگاشت به شبکه های پتری کلاسیک،پیچیدگی کم تری داشته و تعداد اجزای مدل مقصد،کمتر است

کلیدواژه ها:

مدل های فرآیندی ۰.BPMN۲ ، شبکه های پتری ، شبکه های پتری جریان کار ، مدل های فرآیندی عام ، الگوهای جریان کنترلی ، نگاشت

نویسندگان

یحیی پور سلطانی

کارشناس ارشد علوم کامپیوتر – الگوریتم و نظریه محاسبه، دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر (پلی تکنیک تهران) ،تهران

محمد حسن شیرعلی شهرضا

استادیار، دانشکده ی ریاضی و علوم کامپیوتر، دانشگاه صنعتی امیرکبیر (پلی تکنیک تهران) ، تهران

سید علیرضا هاشمی گلپایگانی

استادیار، گروه مستقل بین رشته ای مهندسی فناوری اطلاعات، دانشگاه صنعتی امیرکبیر (پلی تکنیک تهران) ، تهران