A Novel Semantic Web Service Configuration Approach

Describing and verifying Web services using formal method in Web service configuration are a hot research. According to relevant semantics of configuration elements of Web service ontology, π-calculus was applied as formal tool to describe and model Web services configuration. The dynamic behaviors of the established model could be verified and configuration errors such as deadlocks could be detected in advance, as a result the configuration duration was decreased and runtime failure was avoided. After verification, we select the optimization QoS path to complete the configuration using QPSO. Finally, the experiments results prove the soundness and correctness of our model and algorithm.