Contract-based web service composition framework with correctness guarantees

被引：0
|
作者：
Milanovic, N [1 ]
机构：
[1] Humboldt Univ, Berlin, Germany
来源：
SERVICE AVAILABILITY | 2005年 / 3694卷
关键词：
Web services; composition; correctness; contracts;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model based on two isomorphic description models: Contract Definition Language (XML) and abstract machines (formal notation). Composition operators (patterns) are used to perform composition which is then formally verified with respect to properties described in service contracts. We also describe Java-based implementation of the system, concentrated around Sun's Java Web Services Development Pack (JWSDP).
引用
收藏
页码：52 / 67
页数：16
相关论文
共 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] A Theory of Adaptable Contract-Based Service Composition
    Bernardi, G.
    Bugliesi, M.
    Macedonio, D.
    Rossi, S.
    [J]. PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 327 - 334
  • [3] 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 - +
  • [4] 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 - +
  • [5] A Contract-based Accountability Service Model
    Wang, Chen
    Chen, Shiping
    Zic, John
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, 2009, : 639 - 646
  • [6] On the potential advantages of exploiting behavioural information for contract-based service discovery and composition
    Brogi, Antonio
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (01): : 3 - 12
  • [7] Contract-Based Discovery and Adaptation of Web Services
    Padovani, Luca
    [J]. FORMAL METHODS FOR WEB SERVICES, 2009, 5569 : 213 - 260
  • [8] Smart Contract-Based Negotiation for Adaptive QoS-Aware Service Composition
    Wang, Puwei
    Meng, Ji
    Chen, Jinchuan
    Liu, Tao
    Zhan, Ying
    Tsai, Wei-Tek
    Jin, Zhi
    [J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2019, 30 (06) : 1403 - 1420
  • [9] Towards Contract-based Testing of Web Services
    Heckel, Reiko
    Lohmann, Marc
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 116 : 145 - 156
  • [10] SLA Management and Contract-Based Service Execution
    Winkler, Matthias
    Spillner, Josef
    Schill, Alexander
    [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS, 2009, 5900 : 653 - +
12345