{"title":"推断、验证和协调工作流中的承诺","authors":"Jiangbo Dang, M. Huhns","doi":"10.1109/ICWS.2006.75","DOIUrl":null,"url":null,"abstract":"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 OWLS 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","PeriodicalId":408032,"journal":{"name":"2006 IEEE International Conference on Web Services (ICWS'06)","volume":"103 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Inferring, Validating, and Coordinating the Commitments in aWorkflow\",\"authors\":\"Jiangbo Dang, M. Huhns\",\"doi\":\"10.1109/ICWS.2006.75\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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 OWLS 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\",\"PeriodicalId\":408032,\"journal\":{\"name\":\"2006 IEEE International Conference on Web Services (ICWS'06)\",\"volume\":\"103 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-09-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 IEEE International Conference on Web Services (ICWS'06)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICWS.2006.75\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 IEEE International Conference on Web Services (ICWS'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICWS.2006.75","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Inferring, Validating, and Coordinating the Commitments in aWorkflow
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 OWLS 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
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
