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] A Fluent Calculus Approach to Automatic Web Service Composition
    Chifu, Viorica
    Salomie, Ioan
    ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2009, 9 (03) : 75 - 83
  • [2] 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
  • [3] 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
  • [4] 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
  • [5] Verification of Feature Coordination using the Fluent Calculus
    Hoch, Ralph
    Kaindl, Hermann
    PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2018, : 169 - 179
  • [6] On QoS Web Service Composition Using Satisfiability
    Wakrime, Abderrahim Ait
    Jabbour, Said
    2015 5TH INTERNATIONAL CONFERENCE ON INFORMATION & COMMUNICATION TECHNOLOGY AND ACCESSIBILITY (ICTA), 2015,
  • [7] Autonomic Execution of Web Service Composition Using AI Planning Method
    Yuan, Chao-Qun
    Chua, Fang-Fang
    INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGIES AND SYSTEMS APPROACH, 2015, 8 (01) : 28 - 45
  • [8] 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
  • [9] Dynamic web service composition using AND/OR directed graph
    Elmaghraoui, Hajar
    Benhlima, Laila
    Chiadmi, Dalila
    PROCEEDINGS OF 2017 3RD INTERNATIONAL CONFERENCE OF CLOUD COMPUTING TECHNOLOGIES AND APPLICATIONS (CLOUDTECH), 2017, : 104 - 111
  • [10] Web Service Composition Using The Bidirectional Dijkstra Algorithm
    Moo, F.
    Hernandez, R.
    Uc, V.
    Madera, F.
    IEEE LATIN AMERICA TRANSACTIONS, 2016, 14 (05) : 2522 - 2528
12345