TY  - CONF
KW  - Smart Contracts; Negotiation; Cloud Computing; Service Level Agreement
T2  - 10th International Conference on Cloud Computing (CLOUD)
PB  - IEEE
Y1  - 2017///
UR  - http://doi.org/10.1109/CLOUD.2017.81
A1  - Vincenzo, Scoca
A1  - Uriarte, Rafael Brundo
A1  - De Nicola, Rocco
N2  - A smart contract is the formalisation of an agreement, whose terms are automatically enforced by relying on a transaction protocol, while minimising the need of intermediaries. Such contracts not only specify the service and its quality but also the possible changes at runtime of the terms of agreement. Although smart contracts provide a great deal of flexibility, analysing their compatibility and reaching agreements with this level of dynamism is considerably more challenging, due to the freedom of clients and providers in formulating needs/offers. We introduce a formal language to specify interactions between offers and requests and present a methodology for the autonomous negotiation of smart contracts, which analyses the cost and the necessary changes for reaching an agreement. Moreover, we describe a set of experiments that provides insights on the relative cost of dynamism in negotiating smart contracts and compare the request/offer matching rates of our solution with related works.
SP  - 592
TI  - Smart Contract Negotiation in Cloud Computing
EP  - 599
ID  - eprints3948
SN  - 978-1-5386-1993-3
M2  - Honolulu, CA, USA
AV  - none
ER  -