Workflow Verification: a New Tower of Babel

Abstract — In this paper, we show the relevance of workflow model checking and discuss the problems that arise when doing research about workflows. Then, different facts that may cause these problems are proposed. Past research in the field is summarized, and the conclusion sketches some future lines of research based in the previous analysis. Index Terms — workflow, verification, state-of-the-art. I