Analysis of common business rules in BPMN process models using business rule language

Process models describe graphically, events, activities, control flow and dataflow logic that constitute a business process. Nevertheless most graphical modeling notations required by organization stakeholders such as BPMN, are not provided with a formal semantics, limiting the possibility of analysis to informal approaches such as observation techniques. While most of the existing formal approaches for BPMN models verification focus on the control-flow, very few has treated the Business rules verification angle. In this paper, we present a new approach that uses the Business Rule Language (BRL) which helps us express several common types of business rules that could be verified by a DFS algorithm adapted for the BPMN standard. The proposed approach has been implemented as an Eclipse plugin called, “BPMN Process Analysis”.