This book analyzes semantic-enabled service composition, explores challenges and solutions related to composing services on the semantic Web, offers models and useful algorithms, and presents case studies in the areas of digital government and bioinformatics.