Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Porter, E., Millar, V.: How information gives you competitive advantage. Harvard Bus. Rev. 63, 149–162 (1985)
Standish Group International: Third Quarter Research Report. Technical report, The Standish Group International, Inc., Boston (2004)
Morimoto, S.: A Survey of Formal Verification for Business Process Modeling. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008, Part II. LNCS, vol. 5102, pp. 514–522. Springer, Heidelberg (2008)
Ouyang, C., Dumas, M., van der Aalst, W., ter Hofstede, A.: From Business Process Models to Process-oriented Software Systems: The BPMN to BPEL Way (2006)
Ho, A., Smith, S., Hand, S.: On deadlock, livelock, and forward progress. Technical Report, University of Cambridge, Computer Laboratory (May 2005)
Raedts, I., Petkovic, M., Usenko, Y., Werf, J.M., Groote, J.F., Somers, L.: Transformation of BPMN models for Behaviour Analysis. In: MSVVEIS, Madeira, Portugal, pp. 126–137 (2007)
van Dongen, B.F., Mendling, J., van der Aalst, W.M.P.: Structural Patterns for Soundness of Business Process Models. In: EDOC 2006: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference, pp. 116–128 (2006)
Tantitharanukul, N., Sugunsil, P., Jumpamule, W.: Detecting Deadlock and Multiple Termination in BPMN Using Process Automata. In: ECTICON 2010: Proceedings of the 7th ECTI International Conference on Electrical Engineering/Electronics, Computer, Telecomunications and Information Technology, Chiang Mai, Thailand (2010)
Dijkman, R., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of BPMN process models. Technical report, Queensland University of Technology, Queensland (2007)
Object Management Group (OMG): Business Process Modeling Notation (BPMN) Specification, Final Adopted Specification. Technical report, Object Management Group, Needham (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tantitharanukul, N., Jumpamule, W. (2010). Detection of LiveLock in BPMN Using Process Expression. In: Papasratorn, B., Lavangnananda, K., Chutimaskul, W., Vanijja, V. (eds) Advances in Information Technology. IAIT 2010. Communications in Computer and Information Science, vol 114. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16699-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-16699-0_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16698-3
Online ISBN: 978-3-642-16699-0
eBook Packages: Computer ScienceComputer Science (R0)