AUTOMATIC DYNAMIC WEB SERVICE COMPOSITION: A SURVEY AND PROBLEM FORMALIZATION

被引：0
|
作者：
Bartalos, Peter [1 ]
Bielikova, Maria [1 ]
机构：
[1] Slovak Univ Technol Bratislava, Fac Informat & Informat Technol, Inst Informat & Software Engn, Bratislava, Slovakia
来源：
COMPUTING AND INFORMATICS | 2011年 / 30卷 / 04期
关键词：
Web services; automatic dynamic web service composition; semantics; pre-/post-conditions;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The aim of Web service composition is to arrange multiple services into workflows supplying complex user needs. Due to the huge amount of Web services and the need to supply dynamically varying user goals, it is necessary to perform the composition automatically. The objective of this article is to overview the issues of automatic dynamic Web service composition. We discuss the issues related to the semantics of services, which is important for automatic Web service composition. We propose a problem formalization contributing to the formal definition of the pre-/post-conditions, with possible value restrictions, and their relation to the semantics of services. We also provide an overview of several existing approaches dealing with the problem of Web service composition and discuss the current achievements in the field and depict some open research areas.
引用
收藏
页码：793 / 827
页数：35
相关论文
共 50 条
  • [1] A Survey of Formalization Approaches to Service Composition
    Campos, Glaucia M. M.
    Rosa, Nelson S.
    Pires, Luis Ferreira
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2014), 2014, : 179 - 186
  • [2] An Approach for Visualization and Formalization of Web Service Composition
    Ma, Chao
    He, Yanxiang
    [J]. WISM: 2009 INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND MINING, PROCEEDINGS, 2009, : 342 - 346
  • [3] 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
  • [4] Automatic Dynamic Web Service Composition Using AND/OR Directed Graphs
    Elmaghraoui, Hajar
    Benhlima, Laila
    Chiadmi, Dalila
    [J]. INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2019, 16 (03) : 29 - 43
  • [5] FUSION: A system allowing dynamic web service composition and automatic execution
    VanderMeer, D
    Datta, A
    Dutta, K
    Thomas, H
    Ramamritham, K
    Navathe, SB
    [J]. IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE, 2003, : 399 - 404
  • [6] Survey of Web Service Composition
    Ben Messaoud, Wala
    Ghedira, Khaled
    Ben Halima, Youssef
    Ben Ghezala, Henda
    [J]. 2015 5TH INTERNATIONAL CONFERENCE ON INFORMATION & COMMUNICATION TECHNOLOGY AND ACCESSIBILITY (ICTA), 2015,
  • [7] Security Requirements in Web Service Composition: Formalization, Integration and Verification
    El Kassmi, Ilyass
    Jarir, Zahi
    [J]. 2016 IEEE 25TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2016, : 179 - 184
  • [8] Dynamic Web Service Composition
    Mustafa, Faisal
    McCluskey, T. L.
    [J]. 2009 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND TECHNOLOGY, VOL II, PROCEEDINGS, 2009, : 463 - 467
  • [9] Survey on Web Service Composition Testing
    [J]. Zhou, Ze-Xia (1252385@tongji.edu.cn), 2018, Chinese Academy of Sciences (29):
  • [10] Web Service Composition Methods: A Survey
    Pejman, E.
    Rastegari, Y.
    Esfahani, P. Majlesi
    Salajegheh, A.
    [J]. INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, IMECS 2012, VOL I, 2012, : 603 - 607
12345