基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法  

Approach to analyze the procedural semantics of OWL-S based on extended coloured Petri nets

作　　者：鲍爱华[1] 袁金平[1] 姚莉[1] 张维明[1] 

机构地区：[1]国防科技大学信息系统与管理学院,湖南长沙410073

出　　处：《计算机集成制造系统》2008年第9期1856-1864,共9页Computer Integrated Manufacturing Systems

基　　金：国家自然科学基金资助项目(70371008)~~

摘　　要：针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。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 problem of the PM_net was decomposed into conflict-resolving and reliability of state stripped net. By adopting analysis tool and principles of traditional Petri net, the reliability of state stripped net was analyzed so as to realize consistence analysis of OWL-S procedural semantics. The studies provided theoretical foundation for the evolution of OWL-S, service composition and verification of semantic Web service.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]