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
相关论文
共 50 条
  • [1] Fluent Calculus Based Web Service Composition
    Chifu, Viorica Rozina
    Salomie, Ioan
    Manole, Simona
    [J]. WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2008, 5341 : 230 - 231
  • [2] Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL
    Baryannis, George
    Plexousakis, Dimitris
    [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2013 WORKSHOPS, 2014, 8377 : 256 - 270
  • [3] Fluent calculus-based Web service composition - From OWL-S to fluent calculus
    Chifu, Viorica R.
    Salomie, Ioan
    Chifu, Emil St.
    [J]. 2008 IEEE 4TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING, PROCEEDINGS, 2008, : 161 - 168
  • [4] A Fluent Calculus Approach to Automatic Web Service Composition
    Chifu, Viorica
    Salomie, Ioan
    [J]. ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2009, 9 (03) : 75 - 83
  • [5] Automatic Web Service Composition Using OWL-S and Fluent Calculus
    Chifu, Viorica R.
    Salomie, Ioan
    St Chifu, Emil
    [J]. 2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING CONTROL & AUTOMATION, VOLS 1 AND 2, 2008, : 271 - 276
  • [6] An Automatic Semantic Web Service Composition Method Based on Ontology
    Li, Ying
    Li, Yulong
    Hu, Tao
    Lv, Zhisheng
    [J]. 2015 IEEE/ACIS 14TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2015, : 563 - 566
  • [7] A Web Service Composition Method Based on OpenAPI Semantic Annotations
    Netedu, Andrei
    Buraga, Sabin C.
    Diac, Paul
    Tucar, Liana
    [J]. ADVANCES IN E-BUSINESS ENGINEERING FOR UBIQUITOUS COMPUTING, 2020, 41 : 342 - 357
  • [8] Formalization and Verification of Automatic Composition Based on Pi-Calculus for Semantic Web Service
    Wang, Yong-Lian
    Yu, Xue-Li
    [J]. 2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 1, 2009, : 103 - 106
  • [9] A dynamic semantic association-based web service composition method
    Xu, Meng
    Chen, Junliang
    Peng, Yong
    Mei, Xiang
    Liu, Chuanchang
    [J]. 2006 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE, (WI 2006 MAIN CONFERENCE PROCEEDINGS), 2006, : 666 - +
  • [10] Semantic Web Service Composition Based on Ant Colony Optimization Method
    Ghafarian, Toktam
    Kahani, Mohsen
    [J]. NDT: 2009 FIRST INTERNATIONAL CONFERENCE ON NETWORKED DIGITAL TECHNOLOGIES, 2009, : 171 - +
12345