Richard Hull: E-Service Composition: Models and Formalisms. Description Logics 2003