Automating Execution and Verification of BPMN+DMN Business Processes
Giuseppe Della Penna, Igor Melatti

TL;DR
This paper introduces BDTransTest, a tool that automates the translation, testing, and coverage analysis of BPMN+DMN business processes, addressing the gap in verifying semantic correctness beyond syntactical errors.
Contribution
It presents a novel approach to automatically translate BPMN+DMN models into Java programs for testing and coverage analysis, improving process verification methods.
Findings
Effective translation of BPMN+DMN to Java for testing
Automated generation of testing plans with coverage analysis
Experimental validation on literature-based processes
Abstract
The increasing and widespread use of BPMN business processes, also embodying DMN tables, requires 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 (behavioural) 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 to a Java program P ; ii) the synthesis and execution of a testing plan for B, that may require the business designer to disambiguate some input domain; iii) the analysis of the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBusiness Process Modeling and Analysis · Software System Performance and Reliability · Service-Oriented Architecture and Web Services
