Abstract
Process models analysis is a critical step in Business Process Management life cycle. Its main goal is to detect technical and functional errors made in the process models. Since the latter are widely used for the software specification, the quality of the produced software will depend on the soundness and correctness of these process models. In this paper we present the “BPMN Process Analysis”: a formal Validation and Verification Eclipse Plugin for BPMN Process Models. It allows us to perform three types of formal analyses, namely, the control flow, the data flow and the business rules analyses. Each analysis generates a certain amount of errors and violations. These anomalies are diagnosed and corrected in order to get the BPMN model free of certain control flow errors, data flow anomalies, as well as Business rules violations.
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
Dijkman, R.M., et al.: Formal semantics and analysis of BPMN process models using petri nets. Technical report 7115, Queensland University of Technology, Brisbane (2007)
Eclipse: BPMN2 Modeler, January 2018. http://www.eclipse.org/bpmn2-modeler/
Kabbaj, M.I., et al.: Towards an active help on detecting data flow errors in business process models. Int. J. Comput. Sci. Appl. 12, 16–25 (2015)
OMG: Business Process Management and Notation (BPMN 2.0), Needham, USA(2011)
Rachdi, A., En-Nouaary, A., Dahchour, M.: Analysis of common business rules in BPMN process models using business rule language. In: 2016 11th International Conference on Intelligent Systems: Theories and Applications (SITA), pp. 1–6. IEEE (2016)
Rachdi, A., En-Nouaary, A., Dahchour, M.: Liveness and reachability analysis of BPMN process models. J. Comput. Inf. Technol. 24(2), 195–207 (2016)
Rachdi, A., En-Nouaary, A., Dahchour, M.: Dataflow analysis in BPMN models. In: ICEIS 2017 - Proceedings of the 19th International Conference on Enterprise Information Systems, Porto, Portugal, 26–29 April 2017, vol. 2, pp. 229–237 (2017)
Sparx Systems: Enterprise Architect “EA”, January 2018. http://www.sparxsystems.com/products/ea/index.html
Stackelberg, S.V., et al.: Detecting data-flow errors in BPMN 2.0. Open J. Inform. Syst. 1, 1–19 (2014)
Van Hee, K., Hidders, J., Houben, G.J., Paredaens, J., Thiran, P.: Abstracting common business rules to petri nets. Enterp. Inf. Syst. 2010, 113 (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Rachdi, A., En-Nouaary, A., Dahchour, M. (2019). Short Paper: BPMN Process Analysis: A Formal Validation and Verification Eclipse Plugin for BPMN Process Models. In: Podelski, A., Taïani, F. (eds) Networked Systems. NETYS 2018. Lecture Notes in Computer Science(), vol 11028. Springer, Cham. https://doi.org/10.1007/978-3-030-05529-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-05529-5_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-05528-8
Online ISBN: 978-3-030-05529-5
eBook Packages: Computer ScienceComputer Science (R0)