Short Paper: BPMN Process Analysis: A Formal Validation and Verification Eclipse Plugin for BPMN Process Models

  • Anass RachdiEmail author
  • Abdeslam En-Nouaary
  • Mohamed Dahchour
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11028)


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.


BPMN Business Process Modeling Software engineering Eclipse plugin Information systems 


  1. 1.
    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)Google Scholar
  2. 2.
    Eclipse: BPMN2 Modeler, January 2018.
  3. 3.
    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)Google Scholar
  4. 4.
    OMG: Business Process Management and Notation (BPMN 2.0), Needham, USA(2011)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Rachdi, A., En-Nouaary, A., Dahchour, M.: Liveness and reachability analysis of BPMN process models. J. Comput. Inf. Technol. 24(2), 195–207 (2016)CrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Sparx Systems: Enterprise Architect “EA”, January 2018.
  9. 9.
    Stackelberg, S.V., et al.: Detecting data-flow errors in BPMN 2.0. Open J. Inform. Syst. 1, 1–19 (2014)Google Scholar
  10. 10.
    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)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Anass Rachdi
    • 1
    Email author
  • Abdeslam En-Nouaary
    • 1
  • Mohamed Dahchour
    • 1
  1. 1.Institut National des Postes et Télécommunications (INPT)RabatMorocco

Personalised recommendations