首页 | 本学科首页   官方微博 | 高级检索  
     

基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法
引用本文:鲍爱华,袁金平,姚莉,张维明.基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法[J].计算机集成制造系统,2008,14(9).
作者姓名:鲍爱华  袁金平  姚莉  张维明
作者单位:国防科技大学,信息系统与管理学院,湖南,长沙,410073
摘    要:针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析.结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网.将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础.

关 键 词:Web服务  语义Web  过程语义  Web服务本体描述语言  本体演化  过程模型网  着色Petri网

Approach to analyze the procedural semantics of OWL-S based on extended coloured Petri nets
BAO Ai-hua,YUAN Jin-ping,YAO Li,ZHANG Wei-ming.Approach to analyze the procedural semantics of OWL-S based on extended coloured Petri nets[J].Computer Integrated Manufacturing Systems,2008,14(9).
Authors:BAO Ai-hua  YUAN Jin-ping  YAO Li  ZHANG Wei-ming
Affiliation:BAO Ai-hua,YUAN Jin-ping,YAO Li,ZHANG Wei-ming(School of Information System & Management,National University of Defense Technology,Changsha 410073,China)
Abstract:Aiming at the existing problems in procedural semantics of Web Ontology Language for Service(OWL-S),an Process Model net(PM_net) based on extended Colored Petri Nets(CPN) was proposed.It was used to transform and analyze the procedural semantics of OWL-S.According to the characteristics of OWL-S process model,the PM_net extended the transition and fire rules of basic CPN,so that the atomic process,composite process and data flow of OWL-S process model could be equally mapped to PM_net.Reliability analysis p...
Keywords:Web service  semantic Web  procedural semantics  Web ontology language for service  ontology evolution  process model net  colored Petri net  
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号