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

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

کلیدواژه ها:

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