Web service composition using fluent calculus

被引：0
|
作者：
Salomie I. [1 ]
Chifu V.R. [1 ]
Harsa I. [1 ]
Gherga M. [1 ]
机构：
[1] Faculty of Automation and Computer Science, Department of Computer Science, Technical University of Cluj-Napoca, Cluj-Napoca
来源：
International Journal of Metadata, Semantics and Ontologies | 2010年 / 5卷 / 03期
关键词：
AI planning; Fluent calculus; Web service composition; Web service domain ontology;
D O I：
10.1504/IJMSO.2010.034047
中图分类号：
学科分类号：
摘要：
This paper presents a new approach for automatic web service composition based on the formalism of fluent calculus. In our approach, the service composition process is viewed as an AI planning problem in the fluent calculus. To semantically describe the services, we have used a 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 Analyser formalism is used. The paper also presents an experimental prototype for the fluent-calculus-based service composition and demonstrates its effectiveness with the help of an application scenario from the social-event planning domain. Copyright © 2010 Inderscience Enterprises Ltd.
引用
收藏
页码：238 / 250
页数：12
相关论文
共 50 条
  • [1] Fluent Calculus Based Web Service Composition
    Chifu, Viorica Rozina
    Salomie, Ioan
    Manole, Simona
    WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2008, 5341 : 230 - 231
  • [2] A Fluent Calculus Approach to Automatic Web Service Composition
    Chifu, Viorica
    Salomie, Ioan
    ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2009, 9 (03) : 75 - 83
  • [3] Automatic Web Service Composition Using OWL-S and Fluent Calculus
    Chifu, Viorica R.
    Salomie, Ioan
    St Chifu, Emil
    2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING CONTROL & AUTOMATION, VOLS 1 AND 2, 2008, : 271 - 276
  • [4] Semantic Web Service Composition Method Based on Fluent Calculus
    Chifu, Viorica R.
    Salomie, Ioan
    Harsa, Ioana
    Gherga, Marius
    11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009), 2009, : 325 - 332
  • [5] Fluent calculus-based Web service composition - From OWL-S to fluent calculus
    Chifu, Viorica R.
    Salomie, Ioan
    Chifu, Emil St.
    2008 IEEE 4TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING, PROCEEDINGS, 2008, : 161 - 168
  • [6] Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL
    Baryannis, George
    Plexousakis, Dimitris
    SERVICE-ORIENTED COMPUTING - ICSOC 2013 WORKSHOPS, 2014, 8377 : 256 - 270
  • [7] Research on context-aware web service composition based on the fluent calculus
    Zheng X.
    Lin Z.
    Yang Y.
    Chen D.
    Advances in Information Sciences and Service Sciences, 2011, 3 (07): : 62 - 74
  • [8] Web Service Composition Modeling Based on Pi Calculus
    Yang Yan
    Li Rong
    Wang Sai
    PROCEEDINGS OF THE 2015 4TH NATIONAL CONFERENCE ON ELECTRICAL, ELECTRONICS AND COMPUTER ENGINEERING ( NCEECE 2015), 2016, 47 : 1248 - 1252
  • [9] Web service composition using service maps
    Vaddi, Supriya, 1600, Springer Verlag (8875):
  • [10] Compatibility Verification of Web Service Composition Based on Pi-calculus
    Jia, Zhichun
    Xing, Xing
    PROCEEDINGS OF THE 2015 JOINT INTERNATIONAL MECHANICAL, ELECTRONIC AND INFORMATION TECHNOLOGY CONFERENCE (JIMET 2015), 2015, 10 : 244 - 248
12345