一种新的语义Web服务配置方法

2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum Pub Date : 2012-05-21 DOI:10.1109/IPDPSW.2012.282

Mingrui Wang, Min Liu

{"title":"一种新的语义Web服务配置方法","authors":"Mingrui Wang, Min Liu","doi":"10.1109/IPDPSW.2012.282","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":378335,"journal":{"name":"2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum","volume":"6 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A Novel Semantic Web Service Configuration Approach\",\"authors\":\"Mingrui Wang, Min Liu\",\"doi\":\"10.1109/IPDPSW.2012.282\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":378335,\"journal\":{\"name\":\"2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum\",\"volume\":\"6 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-05-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IPDPSW.2012.282\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IPDPSW.2012.282","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

在Web服务配置中使用形式化方法描述和验证Web服务是一个研究热点。根据Web服务本体配置元素的相关语义，应用π演算作为形式化工具对Web服务配置进行描述和建模。可以验证所建立模型的动态行为，提前检测死锁等配置错误，从而缩短配置时间，避免运行时故障。经过验证，选择优化的QoS路径，使用QPSO完成配置。最后，通过实验验证了模型和算法的合理性和正确性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum

自引率

0.00%

发文量