ارائه ی یک نگاشت بین مدل های فرآیندی ۰.BPMN۲ و شبکه های پتری جریان کار بر اساس الگوهای جریان کنترلی پایه ای و مفهوم عام مدل های فرآیندی
Publish Year: 1401
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 236
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CSICC28_014
تاریخ نمایه سازی: 27 اسفند 1401
Abstract:
استاندارد BPMN۲.۰ ،یکی از پر کاربرد ترین و محبوب ترین زبان های مدل سازی فرایند های کسب و کار است.این استاندارد در عین داشتن قابلیت فهم بالا دارای ماهیتی غیر صوری است.این ویژگی می تواند کارهایی مثل صحت سنجی فرآیند و یا انجام انواع تحلیل های کمی مثل ارزیابی کارایی آن را با دشواری هایی روبرو کند.در تحقیقات پیشین،روش ها مختلفی به منظور صوری سازی مدل های فرآیندی BPMN۲.۰ ، ارائه شده است،از جمله :نگاشت آن به شبکه های پتری کلاسیک،توصیف جبری ان و یا استفاده از سایر روش های صوری.در این پژوهش ،بر مبنای یک نگاه عام و مستقل از زبان مدل سازی به مدل های فرآیندی و بر مبنای الگوهای جریان کنترلی پایه ای،نگاشتی بین مدل های فرآیندی BPMN۲.۰ ، و یکی از گسترش های شبکه های پتری به نام شبکه های پتری جریان کار ارائه شده است.ین نگاشت نسبت به روش پیشین ،سازگاری بهتری با اجزای مدل های فرآیندی BPMN۲.۰ ، دارد و نسبت به نگاشت به شبکه های پتری کلاسیک،پیچیدگی کم تری داشته و تعداد اجزای مدل مقصد،کمتر است
Keywords:
مدل های فرآیندی ۰.BPMN۲ , شبکه های پتری , شبکه های پتری جریان کار , مدل های فرآیندی عام , الگوهای جریان کنترلی , نگاشت
Authors
یحیی پور سلطانی
کارشناس ارشد علوم کامپیوتر – الگوریتم و نظریه محاسبه، دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر (پلی تکنیک تهران) ،تهران
محمد حسن شیرعلی شهرضا
استادیار، دانشکده ی ریاضی و علوم کامپیوتر، دانشگاه صنعتی امیرکبیر (پلی تکنیک تهران) ، تهران
سید علیرضا هاشمی گلپایگانی
استادیار، گروه مستقل بین رشته ای مهندسی فناوری اطلاعات، دانشگاه صنعتی امیرکبیر (پلی تکنیک تهران) ، تهران