Abstract

Abstract. Business process modeling has become a popular method for improv-ing organizational efficiency and quality. Automatic validation of process models is one of the most valuable features of modeling tools, in face of the increasing complexity of enterprise business processes and the richness of modeling lan-guages. This paper proposes a formal language, Event-Condition-Action-Event (ECAE), for integrating Colored Petri Nets (CPN)-based business process with a set of business rules. We automate the integration process for validating the busi-ness process model. The ECAE language has several important features: its rea-soning capabilities, its ability to express complex actions and events, and its de-clarative semantics. By enabling simulation of business process behavior, the rea-soning capabilities facilitate the early detection of flaws