Using Harel's Statecharts to Model Business Workflows

In this paper, we model business workflows using Harel’s statecharts. Mapping to statecharts allows us to systematically identify potential workflow problems. It also allows us to investigate specific properties inherent in actual business workflows. Our research focuses on three desirable properties of active database systems — termination, confluence, and observable determinism. For termination and confluence, we develop algorithms to provide a theoretical lens linking desirable active database system properties to workflow management systems problems. We initially validate our algorithms by mapping business workflows from a case study. Our research thus builds preliminary theory by developing a systematic method for identifying workflow problems.