Detection of LiveLock in BPMN using process expression

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 p...

Full description

Saved in:

Bibliographic Details
Main Authors:	Nasi Tantitharanukul, Watcharee Jumpamule
Format:	Book Series
Published:	2018
Subjects:	Computer Science
Online Access:	https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=78650163604&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/50691
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Chiang Mai University

id	th-cmuir.6653943832-50691
record_format	dspace
spelling	th-cmuir.6653943832-506912018-09-04T04:44:24Z Detection of LiveLock in BPMN using process expression Nasi Tantitharanukul Watcharee Jumpamule Computer Science 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. 2018-09-04T04:44:24Z 2018-09-04T04:44:24Z 2010-12-20 Book Series 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/50691
institution	Chiang Mai University
building	Chiang Mai University Library
country	Thailand
collection	CMU Intellectual Repository
topic	Computer Science
spellingShingle	Computer Science Nasi Tantitharanukul Watcharee Jumpamule Detection of LiveLock in BPMN using process expression
description	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.
format	Book Series
author	Nasi Tantitharanukul Watcharee Jumpamule
author_facet	Nasi Tantitharanukul Watcharee Jumpamule
author_sort	Nasi Tantitharanukul
title	Detection of LiveLock in BPMN using process expression
title_short	Detection of LiveLock in BPMN using process expression
title_full	Detection of LiveLock in BPMN using process expression
title_fullStr	Detection of LiveLock in BPMN using process expression
title_full_unstemmed	Detection of LiveLock in BPMN using process expression
title_sort	detection of livelock in bpmn using process expression
publishDate	2018
url	https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=78650163604&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/50691
_version_	1681423635472973824

Detection of LiveLock in BPMN using process expression

Similar Items