ITACA: An integrated toolbox for the automatic composition and adaptation of Web services