| ชื่อเรื่อง | : | Detection of LiveLock in BPMN using process expression |
| นักวิจัย | : | Tantitharanukul N. , Jumpamule W. |
| คำค้น | : | - |
| หน่วยงาน | : | มหาวิทยาลัยเชียงใหม่ |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2553 |
| อ้างอิง | : | 18650929 , 2-s2.0-78650163604 , 10.1007/978-3-642-16699-0_18 , https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=78650163604&origin=inward , http://cmuir.cmu.ac.th/jspui/handle/6653943832/43148 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Although the Business Process Modeling Notation (BPMN) is a popular tool for modeling business process in conceptual level, the result diagram may contain structural problem. One of the structural problems is livelock. In this problem, one token proceeds to end event, while other token is still in process with no progression. In this paper, we introduce an expression liked method to detect livelock in the BPMN diagram. Our approach utilizes the power of the declarative ability of expression to determine all of the possible process chains, and indicate whether there are livelock or not. As a result, we have shown that our method can detect livelock, if any. © 2010 Springer-Verlag. |
| บรรณานุกรม | : |
Tantitharanukul N. , Jumpamule W. . (2553). Detection of LiveLock in BPMN using process expression.
เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ . Tantitharanukul N. , Jumpamule W. . 2553. "Detection of LiveLock in BPMN using process expression".
เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ . Tantitharanukul N. , Jumpamule W. . "Detection of LiveLock in BPMN using process expression."
เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ , 2553. Print. Tantitharanukul N. , Jumpamule W. . Detection of LiveLock in BPMN using process expression. เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ ; 2553.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
