Abstrakt. Huvudfokus i detta dokument är automatisk sammansättning av e-tjänster. Vi börjar med att utveckla ett ramverk där det exporterade beteendet hos en e-tjänst beskrivs i termer av dess möjliga avrättningar (utförande träd). Sedan specialiserar vi ramverket till fallet där sådan export beteende (dvs exekvering träd e-Service) representeras av en ändlig stat maskin. I denna specifika inställning analyserar vi komplexiteten i att syntetisera en komposition, och utvecklar sunda och kompletta algoritmer för att kontrollera existensen av en komposition och att returnera en sådan komposition om man finns. Såvitt vi vet är vårt arbete det första försöket att tillhandahålla en algoritm för automatisk syntes av e-tjänsters sammansättning, som båda har visat sig vara korrekt, och har en tillhörande beräkningsmässig komplexitet karakterisering.
Detta inslag är, såvitt vi vet, unikt för förslaget i REF och därmed för det här.