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...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2014
|
| Online Access: | http://www.scopus.com/inward/record.url?eid=2-s2.0-77954895601&partnerID=40&md5=ab0461be7952574edf5e8caaa07b0608 http://cmuir.cmu.ac.th/handle/6653943832/6235 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Chiang Mai University |
| Language: | English |