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