I detta dokument studerar vi automatisk kompositionssyntes av e-tjänster, baserat på automatiserat resonemang. Vi representerar beteendet hos en e-tjänst i termer av ett deterministiskt övergångssystem (eller en ändlig stat maskin), där för varje åtgärd rollen av e-tjänsten, antingen som initiativtagare eller som tjänare, lyfts fram. I denna inställning presenterar vi en algoritm baserad på tillfredsställande i en variant av Propositional Dynamic Logic som löser det automatiska kompositionsproblemet. Särskilt, givet (i) en möjligen ofullständig specifikation av sekvenser av åtgärder som en klient vill förverkliga, och (ii) en uppsättning tillgängliga e-tjänster, vår teknik syntetiserar en sammansatt e-tjänst som (i) använder endast tillgängliga e-tjänster och (ii) interagerar med klienten "i enlighet med" med den angivna specifikationen. Vi studerar också den föreslagna algoritmens beräkningskomplexitet.
I REF tas problemet med automatisk tjänstesammansättning upp under förutsättning att en uppsättning av tillgängliga tjänster (vars beteende representeras av ändliga tillstånd övergångssystem) ges tillsammans med en möjligen ofullständig specifikation av sekvenser av åtgärder som kunden skulle vilja inse.
Synthesis of underspecified composite e-services based on automated reasoning
{'venue': "ICSOC '04", 'journal': None, 'mag_field_of_study': ['Computer Science']}