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...

Full description

Saved in:
Bibliographic Details
Published in2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum pp. 2286 - 2291
Main Authors Ming-rui Wang, Min Liu
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.05.2012
Subjects
Measurement
Ontologies
p-calculus
QPSO
Quality of service
Reliability
service configuration
System recovery
Web service
Web services
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:1467309745
9781467309745
DOI:10.1109/IPDPSW.2012.282