Mendeley
TY  _  JOUR
ID  -  iranaict-47076
TI  -  تعميم مفهوم صحت ساختاري فرآیندهای کسب و کار از شبکه‌هاي پتري کلاسيک به مدل‌هاي فرآيندي BPMN
JO  -  فصلنامه فناوری اطلاعات و ارتباطات ایران
JA  -  ES
LA  -  fa
SN  -  2717-0411
AU  -  پورسلطانی  یحیی
AU  -  شیرعلی شهرضا محمدحسن
AU  -  هاشمی گلپایگانی سید علیرضا
AD  -  فارغ التحصیل کارشناسی ارشد
AD  -  دانشگاه صنعتی امیرکبیر
AD  -  هیات علمی
Y1  -  2024
PY  -  2024
VL  -  59
IS  -  16
SP  -  195
EP  -  213
KW  -  صحت ساختاری
KW  -   زبان مدل‌سازی BPMN 2.0
KW  -   شبکه‌هاي پتري
KW  -   مدل‌هاي فرآيندي
KW  -   کراندار بودن
KW  -   زنده بودن
DO  -  
N2  -  استاندارد BPMN2.0 يک زبان مدل‌سازي به منظور طراحي فرآيندهاي کسب و کار مي‌باشد که به علت گويايي بالا، براي طيف وسيعي از کاربران قابل درک و استفاده مي‌باشد؛ با اين حال، به علت ماهيت غير صوري آن ممکن است مدل‌هايي حاوي خطاهايي ساختاري هم‌چون بن‌بست (عدم امکان اجرای فرآیند) و بن‌بست حلقوي (تکرار نامتناهی کارها) با استفاده از آن‌ها توليد شود. تاکنون تحقيقات زيادي پيرامون صحت‌سنجي اين مدل‌هاي فرآيندي صورت گرفته‌ است و راهکارهاي مختلفي به منظور کشف برخی از این خطاهای ساختاری ارائه شده‌است؛ سوالی که در خصوص این روش‌ها ممکن است مطرح شود این است که آیا می‌توان با استفاده از هرکدام از آن‌ها صحت ساختاری یک مدل فرآیندی BPMN را به صورت قطعی تضمین کرد؟ برای پاسخگویی به این سوال نيازمند يک تعريف جامع از يک مدل فرآيندي BPMN2.0 صحيح هستيم تا بر مبنای آن بتوانیم جامعیت روش‌های صحت‌سنجی را مورد ارزیابی قرار داده و بدین وسیله، مطمئن شویم که روش ارائه شده می‌تواند تمامی خطاهای ساختاری مدل فرآیندی را کشف نماید. در اين پژوهش، بر پايه‌ي یک تعریف عام از مدل‌های فرآیندی و مفهوم صحت (بر اساس مدل‌هاي فرآيندي ايجاد شده با استفاده از شبکه‎هاي پتري) و تعميم ویژگی‌های آن، يعني زنده بودن و کران‌دار بودن به مدل‌هاي فرآيندي BPMN2.0، يک تعريف جامع براي یک مدل‌ فرآيندي BPMN2.0 صحیح ارائه شده‌است و بر اساس آن، جامعیت روش‌های پیشنهادی برخی از مهم‌ترین پژوهش‌های صورت گرفته مورد ارزیابی قرار داده شده‌است؛ اين تعريف مي‌تواند به عنوان يک معيار براي سنجش کارايي روش‌هاي صحت‌سنجي اين مدل‌هاي فرآيندي به کار گرفته‌شود.
UR  - rimag.ir/fa/Article/47076
L1  - rimag.ir/fa/Article/Download/47076
ER  -  
