Formalizing workflows as cooperative agents

Chitta Baral and Jorge Lobo.


In this paper we present a formal model to characterize cooperative agents in a workflow setting in terms of activities, description of effect of activities, and definition of activities as execution of programs and control modules. We define the correctness of a sequential control module, give sufficiency conditions about the rules in the module, and use the sufficiency conditions to give a naive algorithm to construct sequential control modules. Finally, we extend our notion of correctness to non-sequential control modules.