What’s in an Agreement? A Formal Analysis and an extension of WS-Agreement

Marco Aiello, Ganna Frankova, Daniela Malfatti


42 Downloads (Pure)


Non-functional properties of services and service compositions are of paramount importance for the success of web services. The negotiation of non-functional properties between web service provider and consumer can be agreed on a priori, by specifying an agreement. WS-Agreement is a recently proposed and emerging protocol for the specification of agreements in the context of web services. Though, WS-Agreement only specifies the XML syntax and the intended meaning of each tag, which naturally leads to posing the question of “What’s in an Agreement?” We answer this question by providing a formal definition of an agreement and analyzing the possible evolution of agreements and their terms. From our analysis it turns out that agreements can be made more robust and longer-lived by a simple extension, which we present.
Originele taal-2English
UitgeverijUniversity of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science
Aantal pagina's19
StatusPublished - 2005

Citeer dit