Detecting deadlock and multiple termination in BPMN model using process automata
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 formal...
محفوظ في:
| المؤلفون الرئيسيون: | , , |
|---|---|
| التنسيق: | Conference or Workshop Item |
| اللغة: | English |
| منشور في: |
2014
|
| الوصول للمادة أونلاين: | http://www.scopus.com/inward/record.url?eid=2-s2.0-77954895601&partnerID=40&md5=ab0461be7952574edf5e8caaa07b0608 http://cmuir.cmu.ac.th/handle/6653943832/6235 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|