Requester-centered composition of business processes from internal and external services

This paper presents formal correctness criteria for composite services with respect to the definition of the involved services and introduces a method for defining correct composite services.