Abstract-När ha upprepade interaktioner med en tjänsteleverantör, en tjänstekonsument kan önska garantier för leveransen av tjänsten. Dessa garantier omfattar både funktionella och icke-funktionella egenskaper hos den erbjudna tjänsten över ett antal anrop. När garantivillkoren uttryckligen definieras i ett dokument talar vi om ett servicenivåavtal. WS-avtalet är ett industridrivet framväxande protokoll för specificering av avtal inom ramen för Web Services. Om, å ena sidan, WS-avtalet definierar XML-syntaxen för språket och protokollet, å andra sidan, ger det bara en vag textöversikt över den avsedda betydelsen. Vi fyller denna lucka genom att tillhandahålla en formell definition av ett avtal och analysera eventuella utvecklingar av avtal och deras villkor över ett genomförande. Som ett resultat av detta identifierar vi ett antal utvidgningar som inbegriper inledande förhandlingar, övervakning av löpande avtal och möjligheten att omförhandla avtal vid avrättningar. Vi utvärderar det föreslagna tillvägagångssättet genom experiment.
Frankova m.fl. REF ger en formell definition av ett avtal och analyserar eventuella utvecklingar av avtal och villkor för ett genomförande.
Semantics and Extensions of WS-Agreement
{'venue': 'JSW', 'journal': 'JSW', 'mag_field_of_study': ['Computer Science']}