计算机科学 ›› 2011, Vol. 38 ›› Issue (4): 203-208.
鲍爱华,王晓璇,文艾,丁科,刘鹏
BAO Ai-hua,WANG Xiao-xuan,WEN Ai,DING Ke,LIU Peng
摘要: OWL-S过程语义的建模与分析是语义Web服务相关领域需要重点研究的问题。分析了目前OWL-S过程语义研究中存在的问题,提出了一种扩展的着色Petri网PM_ net(过程模型网,Process Model net)来对OWL-S的过程语义进行转化与分析。结合OWL-S过程模型元素的特点,PM_ nct对基本着色Pctri网的变迁和触发规则进行了扩展,使OWL-S的原子过程、组合过程和数据流等核心元素能够等价映射到PM net。同时说明了如何基于PM_ net对OWL-S的过程语义一致性进行分析,为OWL-S本体演化、语义Web服务组合和验证提供了合理的理论基础。
No related articles found! |
|