Baral, C., Lobo, J., `Formalizing Workflows as Cooperative Agents', Dynamics '97, Workshop in ILPS, 1997.  Home/Search   Document Details and Download   Summary   Related Articles

....language can be used as a tool for the formal specification of workflow processes. The expressive power of the language provides us with a high level abstraction of the workflow processes. It can also be used in generating execution plans for workflow instances. Our work is closely related to [1] in the sense that we also use an action description language. The language A k used in [1] is based on the language A of Gelfond et al. 4] which is a predecessor of the language C. C extends A by incorporating features to model non deterministic and concurrent actions. These features can be very ....

....expressive power of the language provides us with a high level abstraction of the workflow processes. It can also be used in generating execution plans for workflow instances. Our work is closely related to [1] in the sense that we also use an action description language. The language A k used in [1] is based on the language A of Gelfond et al. 4] which is a predecessor of the language C. C extends A by incorporating features to model non deterministic and concurrent actions. These features can be very helpful in the specification of workflow processes. Therefore we have chosen C to be our ....

Baral, C., Lobo, J., `Formalizing Workflows as Cooperative Agents', Dynamics '97, Workshop in ILPS, 1997.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC