بازتعریف مفهوم صحت در مدل های فرآیندی BPMN ۲.۰ بر پایه ی شبکه های پتری

چکیده مقاله

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

کلیدواژه‌ها

نویسندگان

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

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

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

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

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

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

پورسلطانی، یحیی و شیرعلی شهرضا، محمدحسن و هاشمی گلپایگانی، سیدعلی رضا،1400،بازتعریف مفهوم صحت در مدل های فرآیندی BPMN ۲.۰ بر پایه ی شبکه های پتری،پنجمین همایش ملی پیشرفت های معماری سازمانی،مشهد

ارائه‌شده در

مجموعه مقالات پنجمین همایش ملی پیشرفت های معماری سازمانی10 آذر 1400 · مشهد