Applications of propositional logic to workflow analysis

作者：Cravo Gloria^*

来源：Applied Mathematics Letters, 2010, 23(3): 272-276.

DOI：10.1016/j.aml.2009.10.007

• Graphs
• Classical propositional logic
• Workflows
• Process modeling
• Business processes

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 (t(k), t(l)) (i.e., a transition) has attributed a Boolean value to specify the execution/non-execution of tasks t(k), t(l). 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.

• 出版日期2010-3