eprintid: 414
rev_number: 13
eprint_status: archive
userid: 31
dir: disk0/00/00/04/14
datestamp: 2011-06-14 15:00:55
lastmod: 2014-10-08 09:29:01
status_changed: 2011-06-14 15:00:55
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Lapadula, Alessandro
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: Service discovery and negotiation with COWS
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Service discovery; negotiation; service level agreement; service orchestration; process calculi
note: Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV 2007).
abstract: To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform formalism for modelling all the relevant phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, deployment and execution. In this paper, we show that constraints and operations on them can be smoothly incorporated in COWS, and propose a disciplined way to model multisets of constraints and to manipulate them through appropriate interaction protocols. Therefore, we demonstrate that also QoS requirement specifications and SLA achievements, and the phases of dynamic service discovery and negotiation can be comfortably modelled in COWS. We illustrate our approach through a scenario for a service-based web hosting provider.
date: 2008
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 200
number: 3
publisher: Elsevier
pagerange: 133-154
id_number: 10.1016/j.entcs.2008.04.097
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/pii/S1571066108003125
funders: This work has been supported by the EU project SENSORIA, IST-2 005-016004.
citation:   Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco  Service discovery and negotiation with COWS.  Electronic Notes in Theoretical Computer Science, 200 (3).  pp. 133-154.  ISSN 1571-0661      (2008)  
document_url: http://eprints.imtlucca.it/414/4/Lapadula_Pugliese_Tiezzi.pdf
document_url: http://eprints.imtlucca.it/414/1/cows_sla_2008d.pdf