Fluent calculus-based Web service composition — From OWL-S to fluent calculus

2008 4th International Conference on Intelligent Computer Communication and Processing Pub Date : 2008-10-10 DOI:10.1109/ICCP.2008.4648368

V. Chifu, I. Salomie, E. St. Chifu

{"title":"Fluent calculus-based Web service composition — From OWL-S to fluent calculus","authors":"V. Chifu, I. Salomie, E. St. Chifu","doi":"10.1109/ICCP.2008.4648368","DOIUrl":null,"url":null,"abstract":"Web service composition facilitates the creation of new services out of existing ones, for satisfying a complex functionality. Automatic Web service composition is considered as one of the most promising features that can be realized by Web services. This paper presents a novel approach for semantic Web service composition based on the fluent calculus. We show how the planning capabilities of the fluent calculus can be used to automatically generate a Web service composition. We have identified a mapping between an OWL-S process ontology and the fluent calculus concepts. We also present an algorithm to translate OWL-S service descriptions into an equivalent fluent calculus service specification. This specification is then forwarded as input to a flux planner to generate the plans that solve the composition goal. As a result, the solution for the requested functionality of the composed Web service is obtained. FLUX is used as the logic programming method to implement the mathematical formalism of the fluent calculus.","PeriodicalId":169031,"journal":{"name":"2008 4th International Conference on Intelligent Computer Communication and Processing","volume":"26 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"18","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 4th International Conference on Intelligent Computer Communication and Processing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCP.2008.4648368","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 18

Abstract

Web service composition facilitates the creation of new services out of existing ones, for satisfying a complex functionality. Automatic Web service composition is considered as one of the most promising features that can be realized by Web services. This paper presents a novel approach for semantic Web service composition based on the fluent calculus. We show how the planning capabilities of the fluent calculus can be used to automatically generate a Web service composition. We have identified a mapping between an OWL-S process ontology and the fluent calculus concepts. We also present an algorithm to translate OWL-S service descriptions into an equivalent fluent calculus service specification. This specification is then forwarded as input to a flux planner to generate the plans that solve the composition goal. As a result, the solution for the requested functionality of the composed Web service is obtained. FLUX is used as the logic programming method to implement the mathematical formalism of the fluent calculus.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

基于Fluent微积分的Web服务组合——从OWL-S到Fluent微积分

Web服务组合有助于从现有服务中创建新服务，以满足复杂的功能。自动Web服务组合被认为是Web服务可以实现的最有前途的功能之一。提出了一种基于流畅演算的语义Web服务组合方法。我们将展示如何使用流畅演算的规划功能来自动生成Web服务组合。我们已经确定了OWL-S过程本体和流畅演算概念之间的映射。我们还提出了一种将OWL-S服务描述转换为等效的流畅演算服务规范的算法。然后将此规范作为输入转发给通量规划器，以生成解决组合目标的计划。因此，获得了组合Web服务所请求功能的解决方案。采用FLUX作为逻辑编程方法，实现了流畅微积分的数学形式化。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

2008 4th International Conference on Intelligent Computer Communication and Processing

自引率

0.00%

发文量

期刊最新文献

Kidney CT image segmentation using multi-feature EM algorithm, based on Gabor filters Forward collision detection using a Stereo Vision System Establishing and fixing a freshness flaw in a key-distribution and Authentication Protocol Generating logic-based representations for programs Curb segments detection with temporal filtering for urban driving scenarios