ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

Detecting deadlock and multiple termination in BPMN model using process automata

หน่วยงาน มหาวิทยาลัยเชียงใหม่

รายละเอียด

ชื่อเรื่อง : Detecting deadlock and multiple termination in BPMN model using process automata
นักวิจัย : Tantitharanukul N. , Sugunnasil P. , Jumpamule W.
คำค้น : -
หน่วยงาน : มหาวิทยาลัยเชียงใหม่
ผู้ร่วมงาน : -
ปีพิมพ์ : 2553
อ้างอิง : 9.78975E+12 , 81197 , http://www.scopus.com/inward/record.url?eid=2-s2.0-77954895601&partnerID=40&md5=ab0461be7952574edf5e8caaa07b0608 , http://cmuir.cmu.ac.th/handle/6653943832/6235
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : -
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

The Business Process Modeling Notation (BPMN) has been widely used as a tool for business process modeling. Despite of its popular, the BPMN does not contain a precise semantics. The incompatible constructs can cause the behavioral error such as deadlock. This paper proposed an automata-based formalism for verification of the single source BPMN model. We first introduce the transformation of the BPMN model to the process automata. Then, we verify the compatibility of the transition function. The BPMN model is considered to be correct if there exists at least one process sequence that is accepted by the process automata. Deadlock and multiple termination problems are chosen to illustrate our approach. The experimental results show that we can detect both problems (if any).

บรรณานุกรม :
Tantitharanukul N. , Sugunnasil P. , Jumpamule W. . (2553). Detecting deadlock and multiple termination in BPMN model using process automata.
    เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ .
Tantitharanukul N. , Sugunnasil P. , Jumpamule W. . 2553. "Detecting deadlock and multiple termination in BPMN model using process automata".
    เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ .
Tantitharanukul N. , Sugunnasil P. , Jumpamule W. . "Detecting deadlock and multiple termination in BPMN model using process automata."
    เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ , 2553. Print.
Tantitharanukul N. , Sugunnasil P. , Jumpamule W. . Detecting deadlock and multiple termination in BPMN model using process automata. เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ ; 2553.