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 条

[41] TENDERING FOR VETERINARY SERVICE CONTRACTS
YOUNG, RC
[J]. VETERINARY RECORD, 1992, 130 (16) : 359 - 359
[42] Service contracts: A stochastic model
Ashgarizadeh, E
Murthy, DNP
[J]. MATHEMATICAL AND COMPUTER MODELLING, 2000, 31 (10-12) : 11 - 20
[43] Negotiation of Personal Service Contracts
Youngman, Gordon
[J]. CALIFORNIA LAW REVIEW, 1954, 42 (01) : 2 - 17
[44] The economics of energy service contracts
Sorrell, Steve
[J]. ENERGY POLICY, 2007, 35 (01) : 507 - 521
[45] Military Service and Contracts of Employment
不详
[J]. INTERNATIONAL LABOUR REVIEW, 1940, 41 (02) : 165 - 176
[46] PURCHASE AND SALE OF SERVICE CONTRACTS
LEFFINGWELL, DC
[J]. TAXES, 1967, 45 (02): : 153 - 160
[47] Automated negotiation for service contracts
Lock, Russell
[J]. 30th Annual International Computer Software and Applications Conference, Vol 2, Short Papers/Workshops/Fast Abstracts/Doctoral Symposium, Proceedings, 2006, : 127 - 134
[48] National Service and Contracts of Employment
Herz, E.
Bessling, I.
[J]. INTERNATIONAL LABOUR REVIEW, 1940, 42 (01) : 1 - 28
[49] Contracts for the National Health Service
Chalkley, M
Malcomson, JM
[J]. ECONOMIC JOURNAL, 1996, 106 (439): : 1691 - 1701
[50] TENDERING FOR VETERINARY SERVICE CONTRACTS
COOKE, M
[J]. VETERINARY RECORD, 1992, 130 (15) : 333 - 333

← 1 2 3 4 5 →