Semantic Annotation for Web Service Processes in a Pervasive Computing