Specification of Workflow Processes Using the Action Description Language C

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.