مدل سازی فرایند، BPMN،Petri net

صحت مدل سازی فرایند در Petri net

Avatar for adminAdmin
در این مقاله قصد داریم صحت مدل سازی فرایند در Petri net را بررسی کنیم. برای بررسی صحت مدل سازی فرایند در Petri net ابتدا باید مدل فرایندی را به Petri net تبدیل کرد و سپس با استفاده Petri net می توان نمودار در دسترس پذیری ایجاد کرد. اما حال می خواهیم با استفاده از نمودار دسترس پذیری می توان درستی یا صحت مدل سازی فرایند در Petri net را بررسی کرد. ... ادامه مطلب
BPMN، Petri net، مدل سازی فرایند

نگاشت BPMN به Petri net

Avatar for adminAdmin
برای نگاشت BPMN به Petri net ابتدا باید در مورد رابطه Petri net و درست بودن مدل فرایندی صحبت کرد. همان طور که در مقاله قبلی اشاره شد Petri net، ابزار رسمی برای تعیین دقیق ویژگی های درست بودن مدل های فرایند می باشد و هدف این است که با استفاده از نمودار در دسترس پذیری، درست بودن Petri net تشخیص داده شود. ... ادامه مطلب
مدل سازی فرآیند، BPMN، نرم افزار BPMS

صحت مدل سازی فرآیند

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

بررسی صحت ساختار (Structural Soundness)

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