|
|||||
|
|
| 一种基于Ontology的WEB服务时间约束定义及验证方法 | |
| 引用本文： | 刘如娟,陈俊杰,王立军,谢红薇.一种基于Ontology的WEB服务时间约束定义及验证方法[J].四川大学学报(工程科学版),2009,41(6):158-164. |
| 作者姓名： | 刘如娟 陈俊杰 王立军 谢红薇 |
| 作者单位： | 1. 北京科技大学信息工程学院,北京,100083;太原理工大学计算机与软件学院,山西,太原,030024 2. 太原理工大学计算机与软件学院,山西,太原,030024 3. 清华大学,信息技研究院,北京,100084 |
| 基金项目： | 国家863计划(2006AA01Z157); 教育部科学技术研究重点项目(106019) |
| 摘 要： | 针对目前面向服务计算(SCO)模式中组合Web服务验证缺乏对时间等非功能属性验证的实际,基于本体理论,设计并实现了一种基于时间约束Petri网的Web服务时间模型定义方法.该方法考虑服务流与以往工作流的区别,在服务模型OWL-S基础上建立时间本体(Time Ontology),全面地刻画了服务的基本时间约束.扩展已有的PetIi网本体,增强其描述能力,使其能够描述服务数据及时间信息,并定义了在OWL-S上定义的时间本体与Pe-tri网时间本体间的关系.根据模型检测理论,通过扩展OWL-API,将附加时间属性的OWL-S的服务描述本体转换为Petri网的标准格式PNML文件,建立起扩展时间属性的Web服务模型与形式化模型时间约束PetIi网(TCPN)间的映射关系.该方法很好地描述了服务时间约束,为后续的基于TCPN的服务时间形式化验证打下了坚定的基础. |
| 关 键 词： | 时间本体 Petri网本体 时间约束Petri网 模型检测 |
| 收稿时间： | 2008/3/30 0:00:00 |
| 修稿时间： | 2008/6/11 0:00:00 |
An Ontology-based Time Semantic Specification and Verification Approach for Web Service |
|
| LIU Ru-juan , CHEN Jun-jie , WANG Li-jun , XIE Hong-wei.An Ontology-based Time Semantic Specification and Verification Approach for Web Service[J].Journal of Sichuan University (Engineering Science Edition),2009,41(6):158-164. | |
| Authors: | LIU Ru-juan CHEN Jun-jie WANG Li-jun XIE Hong-wei |
| Abstract: | |
| Keywords: | time ontology Petri-net ontology time constraints Petri Nets model checking |
| 本文献已被 万方数据 等数据库收录！ | |
| 点击此处可从《四川大学学报(工程科学版)》浏览原始摘要信息 | |
| 点击此处可从《四川大学学报(工程科学版)》下载全文 | |