Abstract
BPMN is an adopted standard used in industry for modeling business processes. However it is not provided with a formal semantics, limiting the possibility of analysis to informal approaches such as observation. In this paper, we present a formal approach that detects business rules violations using the Business Rule Language (BRL) which helps us express many common types of business rules that could be verified by a Depth-First Search algorithm adapted for the BPMN standard.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
van Hee, K., Hidders, J., Houben, G.J., Paredaens, J.: Abstracting common business rules to Petri nets. In: Enterprise Information (2010)
Object Management Group: Business Process Modeling Notation (BPMN) Specification. Final adopted specification (2011)
Sun, W.: Design and implementation of a BPMN to PROMELA translator. M.Sc. dissertation project (2012)
Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of BPMN process models using Petri nets. Technical report, Queensland University of Technology (2007)
Awad, A., Decker, G., Lohmann, N.: Diagnosing and repairing data anomalies in process models. In: The 5th International Workshop on Business Process Design (2010)
Wong, P.Y.H., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 355–374. Springer, Heidelberg (2008)
von Stackelberg, S., et al.: Detecting data-flow errors in BPMN 2.0. Open J. Inf. Syst. 1, 1–19 (2014)
Rachdi, A., Ennouaary, A., Dahchour, M.: Analysis of BPMN process models using time Petri nets. In: Proceedings of the 2014 INTIS Conference (2014)
Aagesen, G., Krogstie, J.: BPMN 2.0 for modeling business processes. In: vom Brocke, J., Rosemann, M., et al. (eds.) Handbook on Business Process Management 1. International Handbooks on Information Systems, pp. 219–250. Springer, Heidelberg (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Rachdi, A., En-Nouaary, A., Dahchour, M. (2016). Verification of Common Business Rules in BPMN Process Models. In: Abdulla, P., Delporte-Gallet, C. (eds) Networked Systems. NETYS 2016. Lecture Notes in Computer Science(), vol 9944. Springer, Cham. https://doi.org/10.1007/978-3-319-46140-3_27
Download citation
DOI: https://doi.org/10.1007/978-3-319-46140-3_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-46139-7
Online ISBN: 978-3-319-46140-3
eBook Packages: Computer ScienceComputer Science (R0)