loading...
Inferring, Validating, and Coordinating the Commitments in aWorkflow
Chicago, Illinois, USA September 18-September 22
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.75IEEE International Conference on Web ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Jiangbo Dang, University of South Carolina
Michael N. Huhns, University of South Carolina
A workflow can be represented as a set of Web services and a specification for the control and data flows among these services. It can also be represented as a colored Petri net (CPN), which is a graphical and mathematical modeling tool. In multiagent systems (MAS), a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to model a workflow and coordinate their execution of it. This paper presents methodologies to map an OWL-S model for a workflow to a CPN, and then to infer commitments and causal relationships from the CPN graph. With our methodologies, agents can collaboratively enact a workflow through commitment-based formalisms.
Citation:
Jiangbo Dang, Michael N. Huhns, "Inferring, Validating, and Coordinating the Commitments in aWorkflow," icws, pp.907-908, IEEE International Conference on Web Services (ICWS'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.