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

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

بررسی رفتار فرآیند

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

ارزیابی همتا

Avatar for adminAdmin
ارزیابی همتا جهت شبیه سازی و تحلیل فرایندهای کسب و کار به کار می رود. به طور کلی می توان گفت که ارزیابی همتا، کار آموزان را قادر می سازد تا فرایندهای همتا را ارزیابی کنند و این کار نیز به مدرسین اجاز می دهد تا تکالیفی را طراحی کنند که نیاز به ارزیابی انسان داشته باشند، حتی در MOOC ها تعداد زیادی شرکت کننده وجود دارد. ... ادامه مطلب

اجرای همزمان یا همزمانی (concurrency) در مدل های فرایندی

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