AUTOMATA FOR SPECIFYING AND ORCHESTRATING SERVICE CONTRACTS

被引：21
|
作者：
Basile, Davide [1 ]
Degano, Pierpaolo [1 ]
Ferrari, Gian-Luigi [1 ]
机构：
[1] Univ Pisa, Dipartimento Informat, Pisa, Italy
来源：
LOGICAL METHODS IN COMPUTER SCIENCE | 2016年 / 12卷 / 04期
关键词：
Web Services; Coordination and Orchestration; Contract Agreement; Control Theory; Linear Programming; Intuitionistic Logic; DISCOVERY;
D O I：
10.2168/LMCS-12(4:6)2016
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
An approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of principals each of them gets his requests satisfied, so that the overall composition reaches its goal. Depending on whether requests are satisfied synchronously or asynchronously, we construct an orchestrator that at static time either yields composed services enjoying the required properties or detects the principals responsible for possible violations. To do that in the asynchronous case we resort to Linear Programming techniques. We also relate our automata with two logically based methods for specifying contracts.
引用
收藏
页数：51
相关论文
共 50 条
  • [1] Automata for analysing service contracts
    Basile, Davide
    Degano, Pierpaolo
    Ferrari, Gian Luigi
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8902 : 34 - 50
  • [2] PANDA: Specifying policies for automated negotiations of service contracts
    Gimpel, H
    Ludwig, H
    Dan, A
    Kearney, B
    [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2003, 2003, 2910 : 287 - 302
  • [3] SPECIFYING OBJECTIVES FOR PERFORMANCE CONTRACTS
    HARMES, HM
    [J]. EDUCATIONAL TECHNOLOGY, 1971, 11 (01) : 52 - 56
  • [4] Automata for specifying component interfaces
    Henzinger, TA
    [J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, 2003, 2759 : 1 - 2
  • [5] SPECIFYING REUSABLE COMPONENTS USING CONTRACTS
    HOLLAND, IM
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 615 : 287 - 308
  • [6] Specifying the semantics of operation contracts in conceptual modeling
    Queralt, Anna
    Teniente, Ernest
    [J]. JOURNAL ON DATA SEMANTICS VII, 2006, 4244 : 33 - 56
  • [7] Specifying urgency in timed I/O automata
    Gebremichael, B
    Vaandrager, F
    [J]. SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 64 - 73
  • [8] Specifying module interfaces with finitely defined automata
    Janicki, Ryszard
    [J]. PROCEEDING OF THE 11TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS: COMPUTER SCIENCE AND TECHNOLOGY, VOL 4, 2007, : 108 - +
  • [9] SERVICE CONTRACTS
    MARNE, L
    [J]. MODERN REFRIGERATION AND AIR CONDITIONING, 1969, 72 (852): : 64 - &
  • [10] zkay: Specifying and Enforcing Data Privacy in Smart Contracts
    Steffen, Samuel
    Bichsel, Benjamin
    Gersbach, Mario
    Melchior, Noa
    Tsankov, Petar
    Vechev, Martin
    [J]. PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), 2019, : 1759 - 1776
12345