A formal specification for web services composition and verification

被引：0
|
作者：
Shi, YL [1 ]
Zhang, L [1 ]
Liu, B [1 ]
Liu, FF [1 ]
Lin, LL [1 ]
Shi, BL [1 ]
机构：
[1] Fudan Univ, Dept Comp & Informat Technol, Shanghai, Peoples R China
来源：
Fifth International Conference on Computer and Information Technology - Proceedings | 2005年
关键词：
web services; web service composition; conversation; verification;
D O I：
10.1109/CIT.2005.10
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Due to the promising features of web services, their deployment and research are booming. Among them, various techniques for web service composition have been developed. In this paper, we propose a new composition framework. We use automata to describe behaviors of web services. Each of underlying web services can interact with others through asynchronous messages passing according to its interaction role (client or server). All these messages are recorded by a virtual global observer and the observation result is just the composition conversation of web services. We also develop a formal a top-down verification mechanism on this framework and provide some realizable conditions for a successful composition.
引用
收藏
页码：252 / 256
页数：5
相关论文
共 50 条
  • [1] Formal Specification of Web Services Composition
    Bachtarzi, Faycal
    Chaoui, Allaoua
    [J]. 2013 IEEE SYMPOSIUM ON WIRELESS TECHNOLOGY & APPLICATIONS (ISWTA2013), 2013, : 34 - 39
  • [2] Formal Verification in Web Services Composition
    Todica, Valeriu
    Vaida, Mircea-Florin
    Cremene, Marcel
    [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS, THETA 18TH EDITION, 2012, : 195 - 200
  • [3] Formal Specification of Adaptable Semantic Web Services Composition
    Ben Lamine, Rihab
    Ben Jemaa, Raoudha
    Ben Amor, Ikram Amous
    [J]. INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING, 2018, 13 (04) : 14 - 34
  • [4] Model transformation and formal verification for Semantic Web Services composition
    Ni, Yue
    Fan, Yushun
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 2010, 41 (06) : 879 - 885
  • [5] A Mediation Based Approach for Formal Verification of Web Services Composition
    Maraoui, Raoudha
    Cariou, Eric
    [J]. 2017 INTERNATIONAL CONFERENCE ON ENGINEERING & MIS (ICEMIS), 2017,
  • [6] A theorem proving framework for the formal verification of Web Services Composition
    Papapanagiotou, Petros
    Fleuriot, Jacques D.
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (61): : 1 - 16
  • [7] A Framework for the composition and formal verification of adaptable semantic Web services
    Ben Lamine, Rihab
    Ben Djemaa, Raoudha
    Amous, Ikram
    [J]. 16TH INTERNATIONAL CONFERENCE ON ADVANCES IN MOBILE COMPUTING AND MULTIMEDIA (MOMM 2018), 2014, : 25 - 33
  • [8] Formal specification of a Web services protocol
    Johnson, James E.
    Langworthy, David E.
    Lamport, Leslie
    Vogt, Friedrich H.
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 70 (01): : 34 - 52
  • [9] FORMAL SPECIFICATION AND VERIFICATION OF ISDN SERVICES IN LOTOS
    YAMANO, K
    JOKANOVIC, D
    ANDO, T
    OHTA, M
    TAKAHASHI, K
    [J]. IEICE TRANSACTIONS ON COMMUNICATIONS, 1992, E75B (08) : 715 - 722
  • [10] Pi-Calculus Based Formal Verification of Web Services Composition
    Agarwal, Saurabh
    Agarwal, Koshel
    [J]. INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2015, 8 (05): : 137 - 140
12345