بازتعریف مفهوم صحت در مدل‌های فرآیندی bpmn2.0 بر پایه‌ی شبکه‌های پتری

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