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
    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
    SERVICE-ORIENTED COMPUTING - ICSOC 2013 WORKSHOPS, 2014, 8377 : 256 - 270
  • [3] Web service composition using fluent calculus
    Salomie I.
    Chifu V.R.
    Harsa I.
    Gherga M.
    International Journal of Metadata, Semantics and Ontologies, 2010, 5 (03) : 238 - 250
  • [4] 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
  • [5] A Fluent Calculus Approach to Automatic Web Service Composition
    Chifu, Viorica
    Salomie, Ioan
    ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2009, 9 (03) : 75 - 83
  • [6] 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
  • [7] 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
  • [8] An Automatic Semantic Web Service Composition Method Based on Ontology
    Li, Ying
    Li, Yulong
    Hu, Tao
    Lv, Zhisheng
    2015 IEEE/ACIS 14TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2015, : 563 - 566
  • [9] A Web Service Composition Method Based on OpenAPI Semantic Annotations
    Netedu, Andrei
    Buraga, Sabin C.
    Diac, Paul
    Tucar, Liana
    ADVANCES IN E-BUSINESS ENGINEERING FOR UBIQUITOUS COMPUTING, 2020, 41 : 342 - 357
  • [10] 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
12345