Genom att kontrollera kompatibiliteten hos tjänstegränssnitten kan man undvika felaktiga utföranden när tjänsterna sammanställs. Denna uppgift är särskilt svår när man överväger interaktion protokoll, det vill säga meddelanden och deras tillämpningsordning, i tjänstegränssnitt. Även om kompatibiliteten med tjänster har studerats intensivt, särskilt för upptäcktsändamål, returnerar de flesta av de befintliga verken ett Booleskt resultat. Om två tjänster är oförenliga anger dessa tillvägagångssätt dock inte om tjänsterna är nästan kompatibla eller helt oförenliga. Denna information är avgörande om man vill tillämpa anpassningsteknik, till exempel, för att framgångsrikt komponera dessa tjänster trots befintliga missmatchningar. I detta dokument föreslår vi en generisk översvämningsbaserad teknik för att mäta kompatibilitetsgraden hos serviceprotokollen. Vi illustrerar vår apporach med två kompatibilitetsbegrepp, nämligen ospecificerade mottagningar och enkelriktad komplementaritet. Vår lösning är helt automatiserad av ett prototypverktyg som vi har implementerat.
Arbetet i REF ) bygger på formella jämförelser genom en generisk översvämningsbaserad teknik för att mäta kompatibilitetsgraden av serviceprotokoll.
Measuring the compatibility of service interaction protocols
{'venue': "SAC '11", 'journal': None, 'mag_field_of_study': ['Computer Science']}