Semantic Web Service Composition Method Based on Fluent Calculus

被引：3

作者：

Chifu, Viorica R. ^{[1
]}

Salomie, Ioan ^{[1
]}

Harsa, Ioana ^{[1
]}

Gherga, Marius ^{[1
]}

机构：

[1] Tech Univ Cluj Napoca, Dept Comp Sci, Cluj Napoca, Romania

来源：

11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009) | 2009年

关键词：

Web service domain ontology; Fluent Calculus; FLUX; Web service; service composition;

D O I：

10.1109/SYNASC.2009.34

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper presents a new approach for automatic Web service composition based on the formalism of Fluent Calculus using semantic Web service descriptions. In our approach, the Web service composition process is viewed as an AI planning problem in the Fluent Calculus formalism. To semantically describe Web services, we have used a Web service domain ontology which is then translated into a Fluent Calculus knowledge base, necessary for the composition planning phase. For verifying the composed services, the Label Transition System Analyzer (LTSA) formalism is used. The paper also presents an experimental prototype for the Fluent Calculus based Web service composition and demonstrates its effectiveness with the help of an application scenario from the social event planning domain.

引用

页码：325 / 332

页数：8