relation: http://eprints.imtlucca.it/414/
title: Service discovery and negotiation with COWS
creator: Lapadula, Alessandro
creator: Pugliese, Rosario
creator: Tiezzi, Francesco
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Elsevier
date: 2008
type: Article
type: PeerReviewed
format: application/pdf
language: en
rights: cc_by_nd
identifier: http://eprints.imtlucca.it/414/4/Lapadula_Pugliese_Tiezzi.pdf
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/414/1/cows_sla_2008d.pdf
identifier:   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)  
relation: http://www.sciencedirect.com/science/article/pii/S1571066108003125
relation: 10.1016/j.entcs.2008.04.097