Ett gemensamt tillvägagångssätt i processen för att nå avtal är publiceringen av mallar som vägleder parterna att skapa överenskommelser som sedan skickas för godkännande till mallförlaget. I ett sådant scenario är en vanlig fråga som förlaget måste ta upp att kontrollera om avtalet är förenligt eller inte med mallen. I det senare fallet är dessutom en automatisk förklaring av orsakerna till en sådan bristande efterlevnad mycket tilltalande. Även om det tyvärr finns förslag som handlar om att kontrollera efterlevnaden har problemet med att tillhandahålla en automatisk förklaring till den bristande efterlevnaden ännu inte undersökts i detta sammanhang. I detta dokument tar vi en delmängd av WS-avtalet rekommendationen som utgångspunkt och vi ger en rigorös denition av förklaringen till den bristande överensstämmelsen mellan mallar och avtal oers. Dessutom föreslår vi att man använder sig av problem med begränsad tillfredsställelse (CSP) för att genomföra den och tillhandahålla ett korrekt genomförande. Fördelen med att använda CSP:er är att det möjliggör expressiva servicenivåmål inom SLA.
I REF revideras denna teknik för att vara tillämplig i WS-avtalet och en ny teknik för att förklara konflikterna mellan mallar och avtalserbjudanden införs.
Explaining the Non-Compliance between Templates and Agreement Offers in WS-Agreement
{'venue': 'ICSOC/ServiceWave', 'journal': None, 'mag_field_of_study': ['Computer Science']}