تعمیم مفهوم صحت ساختاری فرآیندهای کسب و کار از شبکه‌های پتری کلاسیک به مدل‌های فرآیندی bpmn

استاندارد bpmn2.0 یک زبان مدل‌سازی به منظور طراحی فرآیندهای کسب و کار می‌باشد که به علت گویایی بالا، برای طیف وسیعی از کاربران قابل درک و استفاده می‌باشد؛ با این حال، به علت ماهیت غیر صوری آن ممکن است مدل‌هایی حاوی خطاهایی ساختاری هم‌چون بن‌بست (عدم امکان اجرای فرآیند) و بن‌بست حلقوی (تکرار نامتناهی کارها) با استفاده از آن‌ها تولید شود. تاکنون تحقیقات زیادی پیرامون صحت‌سنجی این مدل‌های فرآیندی صورت گرفته‌ است و راهکارهای مختلفی به منظور کشف برخی از این خطاهای ساختاری ارائه شده‌است؛ سوالی که در خصوص این روش‌ها ممکن است مطرح شود این است که آیا می‌توان با استفاده از هرکدام از آن‌ها صحت ساختاری یک مدل فرآیندی bpmn را به صورت قطعی تضمین کرد؟ برای پاسخگویی به این سوال نیازمند یک تعریف جامع از یک مدل فرآیندی bpmn2.0 صحیح هستیم تا بر مبنای آن بتوانیم جامعیت روش‌های صحت‌سنجی را مورد ارزیابی قرار داده و بدین وسیله، مطمئن شویم که روش ارائه شده می‌تواند تمامی خطاهای ساختاری مدل فرآیندی را کشف نماید. در این پژوهش، بر پایه‌ی یک تعریف عام از مدل‌های فرآیندی و مفهوم صحت (بر اساس مدل‌های فرآیندی ایجاد شده با استفاده از شبکه‎های پتری) و تعمیم ویژگی‌های آن، یعنی زنده بودن و کران‌دار بودن به مدل‌های فرآیندی bpmn2.0، یک تعریف جامع برای یک مدل‌ فرآیندی bpmn2.0 صحیح ارائه شده‌است و بر اساس آن، جامعیت روش‌های پیشنهادی برخی از مهم‌ترین پژوهش‌های صورت گرفته مورد ارزیابی قرار داده شده‌است؛ این تعریف می‌تواند به عنوان یک معیار برای سنجش کارایی روش‌های صحت‌سنجی این مدل‌های فرآیندی به کار گرفته‌شود.

generalizing the concept of business processes structural soundness from classic petri nets to bpmn2.0 process models

bpmn2.0 standard is a modeling language, which can be understood and used by a wide range of users. however, because of its non formal nature, models (designed using it) can be containing structural errors such as deadlock (impossibility of executing some of process tasks) and livelock (infinite repetition of tasks) may be produced by using them. these semantic errors can create anomalies in the workflow of the organization. so far, some researches has been conducted on the validation of these process models and various solutions have been provided to discover some of these structural errors. the question that may be raised about these methods is whether it is possible to definitely guarantee the structural accuracy of a bpmn method model by using any of them? to answer this question, we need a comprehensive definition of a correct bpmn2.0 process model, based on which we can evaluate the comprehensiveness of validation methods and strongly make sure that the considered method can discover all of the structural errors of the process model. in this paper, based on concept of general process models and the concept of soundness (based on process models created using petri nets) and the generalization of its properties, i.e. liveness and boundness to bpmn2.0 process models, a comprehensive definition for a correct (sound) bpmn2 process model provided. then, the comprehensiveness of the suggested methods of some of the most important researches conducted has been evaluated based on it. this definition can be used as a measure for efficiency of bpmn validation methods.