摘要
OWL-S过程语义的建模与分析是语义Web服务相关领域需要重点研究的问题。分析了目前OWL-S过程语义研究中存在的问题,提出了一种扩展的着色Petri网PM_net(过程模型网,Process Model net)来对OWL-S的过程语义进行转化与分析。结合OWL-S过程模型元素的特点,PM_net对基本着色Petri网的变迁和触发规则进行了扩展,使OWL-S的原子过程、组合过程和数据流等核心元素能够等价映射到PM_net。同时说明了如何基于PM_net对OWL-S的过程语义一致性进行分析,为OWL-S本体演化、语义Web服务组合和验证提供了合理的理论基础。
The process formal semantics of OWL-S is a key issue in the research on semantic Web service.This paper analyzed the current work and existing problem of research on OWL-S process formal semantics,and proposed an extended Colored Petri net,which is called Process Model net（PM_net）,to model and analyze the process formal semantics of OWL-S.According to the characteristic of OWL-S process model,PM_net extended the transition and fire rule of basic CPN,so that,the atomic process,composite process and data flow of OWL-S process model can be mapped to PM_net equally.The method to check consistency of OWL-S process formal semantics based on PM_net was also introduced.The work of this paper provided reasonable theroy foundation for the evolution of OWL-S,semantic Web service composition and verification.
出处
《计算机科学》
CSCD
北大核心
2011年第4期203-208,共6页
Computer Science
基金
国家863项目(2007AA092202)
国家高技术研究发展计划(863计划)(2009AA12Z214)
国家自然科学基金(40801060)资助
