Contract-Based Discovery and Adaptation of Web Services

被引：0
|
作者：
Padovani, Luca [1 ]
机构：
[1] Univ Urbino, Ist Sci & Technol Informaz, I-61029 Urbino, Italy
来源：
FORMAL METHODS FOR WEB SERVICES | 2009年 / 5569卷
关键词：
REGULAR EXPRESSIONS;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A contract describes the observable behavior of a Web service. When looking for Web services providing specific capabilities, the contract can be used as an important search key. This calls for a notion of contract equivalence that goes beyond nominal or structural equivalence. In this paper we define a simple, yet expressive formal language for describing Web service contracts. We provide a natural, set-theoretic semantics of contracts and we use it for defining a family of equivalence relations that can be effectively used for discovering and adapting Web services implementing a specific contract.
引用
收藏
页码：213 / 260
页数：48
相关论文
共 50 条
  • [1] Contract-Based Discovery and Composition of Web Services
    Bravetti, Mario
    Zavattaro, Gianluigi
    [J]. FORMAL METHODS FOR WEB SERVICES, 2009, 5569 : 261 - 295
  • [2] Contract-based discovery of Web services modulo simple orchestrators
    Padovani, Luca
    [J]. THEORETICAL COMPUTER SCIENCE, 2010, 411 (37) : 3328 - 3347
  • [3] Contract-based testing for web services
    Dai, Guilan
    Bai, Xiaoying
    Wang, Yongbo
    Dai, Fengjun
    [J]. COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 517 - +
  • [4] Towards Contract-based Testing of Web Services
    Heckel, Reiko
    Lohmann, Marc
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 116 : 145 - 156
  • [5] Design of a Contract-Based Web Services QoS Management System
    Yeom, Gwyduk
    Tsai, Wei-Tek
    Bai, Xiaoying
    Min, Dugki
    [J]. ICDCS: 2009 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, 2009, : 306 - +
  • [6] A framework for contract-based collaborative verification and validation of web services
    Bai, Xiaoying
    Wang, Yongbo
    Dai, Guilan
    Tsai, Wei-Tek
    Chen, Yinong
    [J]. COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4608 : 258 - +
  • [7] A contract-based approach for monitoring collaborative Web services using commitments in the event calculus
    Rouached, M
    Perrin, O
    Godart, C
    [J]. WEB INFORMATION SYSTEMS ENGINEERING - WISE 2005, 2005, 3806 : 426 - 434
  • [8] A contract-based approach for secure service discovery systems
    Nait-Sidi-Moh, A.
    Bakhouya, M.
    Wack, M.
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE SERVICES, 2007, : 437 - +
  • [9] Contract-based web service composition framework with correctness guarantees
    Milanovic, N
    [J]. SERVICE AVAILABILITY, 2005, 3694 : 52 - 67
  • [10] Contract-Based Slicing
    da Cruz, Daniela
    Henriques, Pedro Rangel
    Pinto, Jorge Sousa
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 : 106 - 120
12345