همايش ملی پيشرفت های معماری سازمانی

صفحه اصلی / پنجمين همايش ملی پيشرفت های معماری سازمانی

بازتعریف مفهوم صحت در مدل‌های فرآیندی BPMN2.0 بر پایه‌ی شبکه‌های پتری

نویسندگان :

یحیی پورسلطانی¹ محمدحسن شیرعلی شهرضا² سید علیرضا هاشمی گلپایگانی³

1- دانشگاه صنعتی امیرکبیر 2- دانشگاه صنعتی امیرکبیر 3- دانشگاه صنعتی امیرکبیر

کلمات کلیدی :

پلتفرم‌های توسعه‌ی کم‌کد، صحت ساختاری، زبان مدل‌سازی BPMN 2.0 ، شبکه‌هاي پتري، مدل‌هاي فرآيندي، کراندار بودن، زنده بودن، توسعه‌ی مبتنی بر مدل

چکیده :

زبان BPMN2.0 يک زبان مدل‌سازي به منظور طراحي فرآيندهاي کسب و کار مي‌باشد. اين زبان، به علت گويايي بالا، براي طيف وسيعي از کاربران قابل درک و استفاده مي‌باشد؛ با اين حال، به علت ماهيت غير صوري آن ممکن است به وسيله‌ي آن‌ها، مدل‌هايي حاوي خطاهايي ساختاري هم‌چون بن‌بست و بن‌بست حلقوي (حلقه‌هاي اجرايي نامتناهي) توليد شود. اين خطاهاي معنايي مي‌توانند به واسطه‌ي سيستم‌هاي مديريت فرآيندهاي کسب و کار و يا نرم‌افزارهاي توليد شده با استفاده از پلتفرم‌هاي توسعه‌ي کم‌کد، در سطوح مختلفي از معماري يک سازمان، اختلالاتي را ايجاد کند. تاکنون تحقيقات زيادي پيرامون صحت‌سنجي اين مدل‌هاي فرآيندي صورت گرفته‌است و راهکارهاي مختلفي به منظور صحت‌سنجي آن‌ها ارائه شده‌است؛ اما در بسياري از آن‌ها، فقط بخشي از جنبه‌هاي صحت آن مدل فرآيندي پوشش داده شده‌است؛ بنابراين نيازمند يک تعريف جامع از يک مدل فرآيندي BPMN2.0 صحيح هستيم که تمام جنبه‌هاي مختلف صحت آن را پوشش دهد. در اين پژوهش، بر پايه‌ي مفهوم صحت مدل‌هاي فرآيندي ايجاد شده با استفاده از شبکه‎ هاي پتري و تعميم ويژگي‌هاي آن، يعني زنده بودن و کران‌دار بودن به مدل‌هاي فرآيندي BPMN2.0، يک تعريف جامع براي صحت مدل‌هاي فرآيندي BPMN2.0 ارائه شده‌است؛ اين تعريف مي‌تواند به عنوان يک معيار براي سنجش کارايي روش‌هاي صحت‌سنجي اين مدل‌هاي فرآيندي به کار گرفته‌شود.