Det är nu väl accepterat att formella metoder är till hjälp för många frågor som tas upp inom Web service-området. I detta dokument presenterar vi en ram för utformning och verifiering av WS med processalgebror och deras verktyg. Vi definierar en dubbelriktad kartläggning mellan abstrakta specifikationer skrivna med hjälp av dessa kalkyl och körbara webbtjänster skrivna i BPEL4WS; översättningen inkluderar också kompensation, händelse, och felhanterare. Följande val är tillgängliga: konstruktion och verifiering i BPEL4WS, med processalgebra verktyg, eller design och verifiering i process algebra och automatiskt erhålla motsvarande BPEL4WS kod. Tillvägagångssätten kan kombineras. Processalgebras är inte bara användbara för tidslogikverifiering: vi kommenterar användningen av simulering/bisimulering för verifiering, för den hierarkiska förfiningsmetoden, för analysen av tjänstens redundans i en gemenskap, och för att ersätta en tjänst med en annan i en sammansättning.
Författare presenterar en ram för konstruktion och verifiering av WS med processalgebror och deras verktyg i REF.
Web services: a process algebra approach
{'venue': "ICSOC '04", 'journal': None, 'mag_field_of_study': ['Computer Science']}