Automating Execution and Verification of BPMN+DMN Business Processes

The increasing and widespread use of Business Process Model and Notation (BPMN) business processes, which also incorporate Decision Model and Notation (DMN) tables, necessitates tools and methodologies to verify their correctness. However, most commonly used frameworks to build BPMN + DMN models only allow designers to detect syntactical errors, thus ignoring semantic (behavioral) faults. This forces business processes designers to manually run single executions of their BPMN + DMN processes using proprietary tools in order to detect failures. Furthermore, how proprietary tools translate a BPMN + DMN process to a computer simulation is left unspecified. In this paper, we advance this state of the art by designing a tool, named BDTransTest, providing: i) a translation from a BPMN + DMN process (B,D) to a Java program P; ii) the synthesis and execution of a verification plan for (B,D); iii) the analysis of the coverage achieved by the verification plan in terms of nodes and edges of B, as well as of rows in the DMN tables D. Finally, we evaluate our methodology on BPMN + DMN processes from the literature, obtaining over 60% coverage with more than 2000 test cases and negligible resource requirements.