Towards a Unifying Theory for Web Services Composition