Abstract-Ett ökande antal populära SOAP webbtjänster uppvisar ett tillståndsenligt beteende, där en framgångsrik interaktion bestäms lika mycket av det korrekta formatet av meddelanden som av den sekvens i vilken de utbyts med en klient. Uppsättningen av sådana begränsningar utgör ett "meddelandeavtal" som måste verkställas på båda sidor av transaktionen; det innehåller ofta begränsningar som hänvisar till faktiska dataelement inuti meddelanden. Vi presenterar en algoritm för runtime övervakning av sådana meddelandekontrakt med dataparameterisering. Deras egenskaper uttrycks i LTL-FO, en förlängning av Linjär Temporal Logic som tillåter första ordningen kvantifiering över data inuti ett spår av XML-meddelanden. En implementering av denna algoritm kan öppet genomdriva en LTL-FO-en specifikation med hjälp av en liten och osynlig Java applet. Överträdelser av specifikationen rapporteras on-the-fly och förhindrar att felaktiga XML-meddelanden eller XML-meddelanden utväxlas. Experiment på kommersiella webbtjänster från Amazon.com och Google tyder på att LTL-FO är ett lämpligt språk för att uttrycka sina meddelanden kontrakt, och att dess bearbetning overhead på urval spår är acceptabelt både för klient-side och server-side efterlevnad arkitekturer.
I REF presenterar författarna en algoritm för övervakning av run-time meddelandekontrakt med data.
Runtime Enforcement of Web Service Message Contracts with Data
{'venue': 'IEEE Transactions on Services Computing', 'journal': 'IEEE Transactions on Services Computing', 'mag_field_of_study': ['Computer Science']}