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 条
  • [21] On QoS Web Service Composition Using Satisfiability
    Wakrime, Abderrahim Ait
    Jabbour, Said
    2015 5TH INTERNATIONAL CONFERENCE ON INFORMATION & COMMUNICATION TECHNOLOGY AND ACCESSIBILITY (ICTA), 2015,
  • [22] Web Service Composition Using PSO - ACO
    Gohain, Sourav
    Paul, Arnab
    2016 5TH INTERNATIONAL CONFERENCE ON RECENT TRENDS IN INFORMATION TECHNOLOGY (ICRTIT), 2016,
  • [23] Semantic Web Service Composition Using Graphplan
    Bo, Yang
    Zheng, Qin
    ICIEA: 2009 4TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, VOLS 1-6, 2009, : 454 - 458
  • [24] A Pi-Calculus based Context-Aware Model for Web Service Composition
    Bao, Li
    Deng, Yi
    2017 4TH INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CONTROL ENGINEERING (ICISCE), 2017, : 77 - 81
  • [25] Formalization and Verification of Automatic Composition Based on Pi-Calculus for Semantic Web Service
    Wang, Yong-Lian
    Yu, Xue-Li
    2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 1, 2009, : 103 - 106
  • [26] Web Service Composition Framework using Petrinet and Web Service Data Cache in MANET
    Deivamani, M.
    Baskaran, R.
    Murugaiyan, S. R.
    Ravisankar, V.
    Paul, P. Victer
    Dhavachelvan, P.
    INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2015, 10 (02) : 174 - 187
  • [27] Planning and composition of Web services with dynamic constraints using situation calculus
    Nariai, K
    Paik, I
    Shinozawa, M
    Fifth International Conference on Computer and Information Technology - Proceedings, 2005, : 1009 - 1013
  • [28] MODELING AND VERIFYING WEB SERVICES COMPOSITION USING PI-CALCULUS
    Kushwah, Gopal Singh
    Yadav, Dharmendra K.
    PROCEEDINGS OF THE 2011 3RD INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGY AND ENGINEERING (ICSTE 2011), 2011, : 239 - 243
  • [29] Composition of Composite Semantic Web Services Using Abductive Event Calculus
    Paulraj, D.
    Swamynathan, S.
    HIGH PERFORMANCE ARCHITECTURE AND GRID COMPUTING, 2011, 169 : 201 - +
  • [30] Descriptions in the fluent calculus
    Hölldobler, S
    IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, 2000, : 1311 - 1317
12345