Abstract-Web-tjänster som exponerar run-time-beteende som avviker från deras beteendespecifikationer utgör ett stort hot mot hållbarheten i ett serviceorienterat ekosystem. Det är därför viktigt att kontrollera tjänsternas beteendekonformitet under körning. I detta dokument diskuteras ett nytt tillvägagångssätt för run-time-verifiering av webbtjänster. I förslaget föreslås användning av Stream X-maskiner för att konstruera formella beteendespecifikationer för webbtjänster som kan utnyttjas för att kontrollera att en tjänsts körtid inte avviker från vad som definieras i specifikationen. Vårt tillvägagångssätt gör det möjligt att kontrollera både kontrollflödet för en webbtjänst och värdena för data i de genererade svaren. I dokumentet föreslås också en klassificering av webbtjänster och diskuteras hur olika typer av tjänster kan verifieras i körtid. Slutligen presenterar den en run-time-övervaknings- och verifieringsarkitektur och diskuterar hur den kan integreras i olika typer av tjänsteorienterad infrastruktur.
Kontroll av tjänsternas beteendekonformitet under körning presenteras i REF.
Run-time Verification of Behavioural Conformance for Conversational Web Services
{'venue': '2009 Seventh IEEE European Conference on Web Services', 'journal': '2009 Seventh IEEE European Conference on Web Services', 'mag_field_of_study': ['Computer Science']}