Semantic Web Services and Web Process Composition