Modeling Semantic Web Services