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 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.

Key words: Web service, semantic Web, procedural semantics, Web ontology language for service, ontology evolution, process model net, colored Petri net

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

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