Pinar Koksal, Nihan Kesim Cicekli, I. Hakki Toroslu
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.