基于模型检测技术的语义Web服务自动组合  

The automatic composition of semantic Web service with model checking technology

作　　者：唐郑熠[1] 许道云[1] 王晓峰[1] 王正才[1] 

机构地区：[1]贵州大学计算机科学与信息学院,贵阳550025

出　　处：《吉林大学学报（工学版）》2013年第2期391-396,共6页Journal of Jilin University:Engineering and Technology Edition

基　　金：国家自然科学基金项目(60863005;61262006);贵州省科学技术基金项目(黔科合J字[2012]2125号);贵州大学引进人才科研项目(201114)

摘　　要：提出一种以OWL-S和模型检测技术为基础的Web服务自动组合方法,通过时间自动机建立语义Web服务的模型,能够刻画接口和过程交互的语义信息,并且能够表达复合用户需求。利用对应的模型检测工具,可以实现高效的自动组合。仿真实验证明,该方法有效地提高了服务组合的效率及质量,同时在状态空间的表示和维持方面具有显著的优势。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.

关 键 词：人工智能 语义WEB服务 服务组合 模型检测 

分 类 号：TP8[自动化与计算机技术—检测技术与自动化装置]