A Framework for Automated Service Composition in Service-Oriented Architectures