Abstrakt. Det framväxande paradigmet för tjänsteorienterad databehandling kräver nya tekniker för olika tjänsterelaterade uppgifter. Tillsammans med automatiserat stöd för tjänsteupptäckt, urval, förhandling och sammansättning är stöd för automatiserad tjänstekontraktering och införande avgörande för alla storskaliga tjänstemiljöer, där ett stort antal kunder och tjänsteleverantörer interagerar. Många problem inom detta område handlar om resonemang, och ett antal logikbaserade metoder för att hantera dessa problem har dykt upp inom Semantic Web Services. I detta dokument bygger vi vidare på vårt tidigare arbete där vi använde Concurrent Transaktion Logic (CTR) för att modellera och resonera om tjänstekontrakt. Vi utökar avsevärt modelleringskraften i det tidigare arbetet genom att tillåta iterativa processer i specifikationen av tjänstekontrakt, och vi utökar bevisteorin för CTR för att möjliggöra resonemang om sådana kontrakt. Med denna utvidgning kan vårt logikbaserade tillvägagångssätt modellera de allmänna tjänster som representeras med hjälp av språk som WS-BPEL.
Författarna i REF-statligt stöd för automatiserad tjänstekontraktering och införande är avgörande för alla storskaliga tjänstemiljöer, där ett stort antal kunder och tjänsteleverantörer samverkar.
Semantic Web Service Choreography: Contracting and Enactment
{'venue': 'International Semantic Web Conference', 'journal': None, 'mag_field_of_study': ['Computer Science']}