eprintid: 3948 rev_number: 5 eprint_status: archive userid: 69 dir: disk0/00/00/39/48 datestamp: 2018-03-05 16:02:13 lastmod: 2018-03-05 16:02:13 status_changed: 2018-03-05 16:02:13 type: conference_item metadata_visibility: show creators_name: Vincenzo, Scoca creators_name: Uriarte, Rafael Brundo creators_name: De Nicola, Rocco creators_id: creators_id: creators_id: r.denicola@imtlucca.it title: Smart Contract Negotiation in Cloud Computing ispublished: pub subjects: QA75 divisions: CSA full_text_status: none pres_type: paper keywords: Smart Contracts; Negotiation; Cloud Computing; Service Level Agreement abstract: 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. date: 2017 date_type: published publisher: IEEE pagerange: 592-599 event_title: 10th International Conference on Cloud Computing (CLOUD) event_location: Honolulu, CA, USA event_dates: September 11, 2017 event_type: conference id_number: doi:10.1109/CLOUD.2017.81 refereed: TRUE isbn: 978-1-5386-1993-3 book_title: 10th International Conference on Cloud Computing (CLOUD) official_url: http://doi.org/10.1109/CLOUD.2017.81 citation: Vincenzo, Scoca and Uriarte, Rafael Brundo and De Nicola, Rocco Smart Contract Negotiation in Cloud Computing. In: 10th International Conference on Cloud Computing (CLOUD), September 11, 2017, Honolulu, CA, USA pp. 592-599. ISBN 978-1-5386-1993-3. (2017)