| 基于模型检测技术的语义Web服务自动组合 |
| |
| 引用本文： | 唐郑熠,许道云,王晓峰,王正才.基于模型检测技术的语义Web服务自动组合[J].吉林大学学报(工学版),2013,43(2):391-396. |
| |
| 作者姓名： | 唐郑熠 许道云 王晓峰 王正才 |
| |
| 作者单位： | 贵州大学计算机科学与信息学院,贵阳,550025 |
| |
| 基金项目： | 国家自然科学基金项目(60863005,61262006);贵州省科学技术基金项目(黔科合J字[2012]2125号);贵州大学引进人才科研项目(201114) |
| |
| 摘 要： | 提出一种以OWL-S和模型检测技术为基础的Web服务自动组合方法,通过时间自动机建立语义Web服务的模型,能够刻画接口和过程交互的语义信息,并且能够表达复合用户需求。利用对应的模型检测工具,可以实现高效的自动组合。仿真实验证明,该方法有效地提高了服务组合的效率及质量,同时在状态空间的表示和维持方面具有显著的优势。
|
| 关 键 词： | 人工智能 语义Web服务 服务组合 模型检测 |
The automatic composition of semantic Web service with model checking technology |
| |
| TANG Zheng-yi,XU Dao-yun,WANG Xiao-feng,WANG Zheng-cai.The automatic composition of semantic Web service with model checking technology[J].Journal of Jilin University:Eng and Technol Ed,2013,43(2):391-396. |
| |
| Authors: | TANG Zheng-yi XU Dao-yun WANG Xiao-feng WANG Zheng-cai |
| |
| Affiliation: | (College of Computer Science and Information,Guizhou University,Guiyang 550025,China) |
| |
| Abstract: | This paper introduces a method of Web service based on OWL-S and model checking technology.It uses timed automata to establish the model of semantic Web service.This model can describe the semantic information in the interface and the alternation of flows and express the composite user requirement.Based on this model,the corresponding model checking tools can achieve effective automatic composition.Simulation experiments prove that this method effectively increases the efficiency and quality of service composition,and it has very evident advantage in keeping and expressing state space. |
| |
| Keywords: | artificial intelligence semantic Web service service composition model checking |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
