Applications of propositional logic to workflow analysis

In this paper our main goal is to describe the structure of workflows. A workflow is an abstraction of a business process that consists of one or more tasks to be executed to reach a final objective. In our approach we describe a workflow as a graph whose vertices represent workflow tasks and the arcs represent workflow transitions. Moreover, every arc (tk,tltk,tl) (i.e., a transition) has attributed a Boolean value to specify the execution/non-execution of tasks tk,tltk,tl. With this attribution we are able to identify the natural flow in the workflow.Finally, we establish a necessary and sufficient condition for the termination of workflows. In other words, we identify conditions under which a business process will be complete.