Abstrakt. Webbtjänster blir en av de viktigaste teknikerna för att utforma och bygga komplexa affärsapplikationer mellan företag. Vanligtvis kan ett företag ansökan inte uppfyllas av en webbtjänst utan genom att samordna en uppsättning av dem. I synnerhet för att genomföra en samordning är en av de viktiga undersökningarna kompatibilitetsanalysen. Två webbtjänster sägs vara kompatibla om de kan interagera korrekt. I litteraturen bygger de föreslagna ramarna för kontrollen av tjänsternas kompatibilitet på meddelandesekvenser som stöds. Samspelet mellan tjänster beror också på andra egenskaper, så att det utbytta dataflödet. Övervägandet av endast understödda sekvenser av meddelanden verkar därför vara otillräckligt. Andra egenskaper som serviceinteraktionen kan lita på är tidsbegränsningarna. I detta dokument fokuserar vi vårt intresse på kompatibilitetsanalys av webbtjänster avseende deras (1) understödda sekvenser av meddelanden, (2) det utbytta dataflödet, (3) begränsningar relaterade till det utbytta dataflödet och (4) de tidsbundna kraven. Baserat på dessa egenskaper studerar vi tre kompatibilitetsklasser: (i) absolut kompatibilitet, (ii) sannolik kompatibilitet och (iii) absolut inkompatibilitet.
REF:s arbete tog upp frågorna om att fånga upp och analysera de tidsbundna begränsningarna i samspelet mellan två webbtjänster.
Timed Specification For Web Services Compatibility Analysis
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}