I detta dokument diskuterar vi ett modellbaserat tillvägagångssätt för analys av serviceinteraktioner för samordnade webbtjänstkompositioner med hjälp av skyldigheter policyer som anges i form av meddelandesekvensdiagram (MSCs) och implementeras i Web Service Koreografi Beskrivningsspråk (WS-CDL). Tillvägagångssättet använder ändliga tillstånd maskin representationer av webbservice kompositioner (implemented in BPEL4WS) och tjänstekoreografi regler, och tilldelar semantik till distribuerade processinteraktioner. Övergången till att genomföra webtjänstkoreografi kräver tidsverifiering av dessa serviceinteraktioner för att säkerställa att serviceimplementeringar uppfyller kraven för flera intresserade partners innan sådana kompositioner och koreografier sätts in. Den beskrivna metoden stöds av en uppsättning samarbetsvilliga verktyg för specifikation, formell modellering, animering och tillhandahållande av verifieringsresultat från koreograferade webbtjänstinteraktioner.
Forster REF använder MSC (Message Sequence Chart) som webbtjänstspecifikation, WS-CDL och BPEL som implementationer.
Model-Based Analysis of Obligations in Web Service Choreography
{'venue': "Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06)", 'journal': "Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06)", 'mag_field_of_study': ['Computer Science']}