会议专题

OWL-S服务操作语义的Petri网描述新方法

提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描速的逻辑基础,一个OWL-S原子进程可以作为一个动态描述逻辑动作进行描述,实现了对OWL-S原子进程的动态执行争相关执行条件静态逻辑推理的有机结合,进一步通过将Petri网与动态描述逻辑的动作理论结合,得到OWL-S进程(尤其复合进程)操作语义的Petri网描述,为组合语义Web服务的自动组合和动态性质分析提供了更为有效的逻辑依据和方法。

owl-s 操作语义 动态描述逻辑 Petri网 语义Web服务

马炳先 杜玉越

济南大学信息科学与工程学院 山东济南 250022 山东科技大学信息科学与工程学院 山东青岛 266510;中国科学院软件研究所计算机科学重点实验室 北京 100080

国内会议

第十一届全国Petri网理论与应用学术年会

大连

中文

69-74,128

2007-08-01(万方平台首次上网日期,不代表论文的发表时间)