Specification of Workflow Processes Using the Action Description Language C

Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning

Volume

Papers from the 2001 AAAI Spring Symposium

Contents

We propose the use of the action description language C to formally specify workf]ow l processes. The Workf]ow Management Coalition (WfMC) describes a set of all possible transitions among the activities in a workflow. We show how these transitions can be specified within the language of C. CCALC, the causal calculator, is used to run the examples and to generate the execution plans. In addition we also show how agents, duration and the cost of the workflow activities can be incorporated to the current framework.