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

针对目前Web服务本体描述语言过程语义研究中存在的问题，提出了一种基于扩展的着色Petri网的过程模型网，对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点，过程模型网扩展了基本着色Petri网的变迁和触发规则，使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题，并采用传统Petri网分析工具（可覆盖性树）和原理，分析剥离网的可靠性，从而实现Web服务本体描述语言过程语义一致性分析，为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。