اردیبهشت 27, 1399

در مقاله قبلی تحت عنوان بررسی صحت ساختار به موضوع صحت فرایند پرداختیم. حال در این مقاله قصد داریم به صورت واضح تر و پیوسته تر به توضیح بررسی صحت مدل سازی فرایند بپردازیم. در بررسی صحت ساختار فرایند به سه ویژگی اشاره شد که بسیار مهم هستند و همگی آنها باید وجود داشته باشند تا یک مدل فرایند صحیح باشد. ... ادامه مطلب

صحت یعنی درستی کلیه معیارها برای مدل های فرآیند می باشد که به صورت رسمی توسط Petri nets مشخص شده است. Petri nets توسط Wil van der Aalst توسعه داده شده است. از آنجا که تحلیل رفتاری نیازمند صحت ساختار می باشد لذا در این مقاله قصد داریم صحت ساختار فرآیند در سطح استاندارد BPMN بررسی کنیم یعنی معیار صحت ساختار را در سطح استاندارد BPMN به کار می بریم. ... ادامه مطلب