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 条
  • [31] A Formal Verification for Web Service Composition Based on CCS
    Yun, B. S.
    Yan, J. W.
    Liu, M.
    [J]. MANUFACTURING AUTOMATION TECHNOLOGY, 2009, 392-394 : 330 - 334
  • [32] Formal Specification of the Assurance Point Web Service Composition Model
    Gao, Le
    Urban, Susan D.
    Rodriguez, Jonathan
    Warkhade, Abhijit
    [J]. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2014, 23 (04)
  • [33] Formal specification and verification of VHDL
    Bickford, M
    Jamsek, D
    [J]. FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 310 - 326
  • [34] FORMAL FOUNDATION FOR SPECIFICATION AND VERIFICATION
    LAMPORT, L
    SCHNEIDER, FB
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 190 : 203 - 285
  • [35] Formal Specification and Verification of CRDTs
    Zeller, Peter
    Bieniusa, Annette
    Poetzsch-Heffter, Arnd
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, 2014, 8461 : 33 - 48
  • [36] A Composition Verification Model For Semantic Web Services
    Zhu Ying
    Huang Guimin
    [J]. ICCSE 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2008, : 676 - 680
  • [37] COMPOSITION OF WEB SERVICES BASED ON DATA DEPENDENCY SPECIFICATION
    Quan Lixin
    [J]. 2011 3RD INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT (ICCTD 2011), VOL 3, 2012, : 7 - 11
  • [38] RESTful Services and Web-OS Middleware: a Formal Specification Approach
    Bravetti, Mario
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2017, 23 (09) : 808 - 844
  • [39] Semantic Web Service Composition Using Formal Verification Techniques
    Kil, Hyunyoung
    Nam, Wonhong
    [J]. COMPUTER APPLICATIONS FOR DATABASE, EDUCATION, AND UBIQUITOUS COMPUTING, 2012, 352 : 72 - +
  • [40] Formal description and verification of Web service composition based on OOPN
    Su, Jindian
    Yu, Shanshan
    Guo, Heqing
    [J]. ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, PROCEEDINGS: WITH ASPECTS OF THEORETICAL AND METHODOLOGICAL ISSUES, 2008, 5226 : 644 - +
12345