SAHARA-The-SAHARA-Model-for-Service-Composition-Across-Multiple-Providers