What’s in an agreement? A formal analysis and an extension of WS-Agreement

Aiello, Marco and Frankova, Ganna and Malfatti, Daniela (2005) What’s in an agreement? A formal analysis and an extension of WS-Agreement. UNSPECIFIED. (Unpublished)

Download (425Kb) | Preview


    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.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA075 Electronic computers. Computer science
    Additional Information: Revised: April 2006
    Report Number: DIT-05-039
    Repository staff approval on: 02 May 2006

    Actions (login required)

    View Item