1 / 10

Inferring, Validating, and Coordinating the Commitments in a Workflow

This paper presents a framework for inferring, validating, and coordinating commitments in workflow management using service agents. It explores the relationships among OWL-S, Colored Petri Nets (CPN), and commitments. By modeling commitments as C(a;b;q), where a is the creditor and b is the debtor, the paper demonstrates how service agents can negotiate beneficial contracts to execute workflows. The motivating scenario involves product design and manufacturing processes, highlighting the crucial role of commitments in managing and monitoring execution. The work aims to enhance workflow efficiency and coordination among agents.

jett
Download Presentation

Inferring, Validating, and Coordinating the Commitments in a Workflow

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Inferring, Validating, and Coordinating the Commitments in a Workflow Jiangbo Dang and Michael N. Huhns Dept. of Computer Science & Engineering University of South Carolina ICWS 2006 Presented by: Jingshan Huang Computer Science & Engineering Dept. University of South Carolina

  2. The Relationships among an OWL-S,a CPN, and Commitments for Agents A commitment has the form C(a;b;q), where a is its creditor, b is its debtor, and q is the condition the debtor will bring about. C(a;b;p->q) is a conditional commitment, where p is the condition Commitment can be viewed in IOPR form

  3. Service agents negotiate with each other to reach beneficial contracts to execute a workflow and establish commitments for managing, monitoring, and coordinating its execution Motivating Scenario Analyzer C Parts Maker D Product Requestor A Product Maker B Driller E

  4. Research Issues: Motivating Scenario Service agents negotiate with each other to reach beneficial contracts to execute a workflow and establish commitments for managing, monitoring, and coordinating its execution

  5. A Composed Service in OWL-S

  6. IOPRs

  7. A Workflow as a Colored Petri Net

  8. Example Outputs ProductMaker B owns three atomic processes: CheckProdDesignStatus, DesignProduct, GeneratePartRequirement [CheckProdDesignStatus] Preconditions: Completed(SendProdRequirement) Result: Set Approved true or false Input: ProductRequirements ^ AnalysisReport Output: ProductRequirements ^ AnalysisReport [DesignProduct] Preconditions: Completed(CheckProdDesignStatus) ^ not approved Result: Input: ProductRequirements Output: ProductDesign [GeneratePartRequirement] Preconditions: Completed(CheckProdDesignStatus) ^ approved Result: Input: ProductDesign Output: PartsRequirements

  9. The Relationships among an OWL-S,a CPN, and Commitments for Agents

  10. Questions? Thank You !

More Related