Formalization of Business Processes and Business Rules Model using Colored Petri Nets

Abstract

Business process modeling is becoming more popular as a way to improve system design and analysis efficiency and quality. As enterprise business processes get more complex and there are more modeling languages, the ability to validate the process model automatically has become a critical feature of modeling tools. To be effective, business rules need to be flexible to the business process in which they’re. These business rules define and constrain the workflow logic of the business process. This paper provides a formal semantic of business processes and business rules modeling by translating Business Process Model and Notation models to Colored Petri Nets models and Decision Model and Notation models to the appropriate functions in Colored Petri Nets models.