VeBPRu: A Toolchain for Formally Verifying Business Processes and Business Rules.

This article introduces VeBPRu, a toolchain for automatically verifying business process models with business rules. VeBPRu's analysis technique is based on Colored Petri Nets (CPN), a formal language translated from Business Process Model and Notation language, in which the business rules described by Decision Model and Notation language and integrated into BPMN models are also transformed into functions in the CPN. VeBPRu was developed to provide a toolchain that assists users in modeling, verifying, and reporting results in an approachable style. Finally, we performed verification on multiple models to illustrate the practical utility of the tool.