OWL-S服务操作语义的Petri网描述新方法
提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描速的逻辑基础,一个OWL-S原子进程可以作为一个动态描述逻辑动作进行描述,实现了对OWL-S原子进程的动态执行争相关执行条件静态逻辑推理的有机结合,进一步通过将Petri网与动态描述逻辑的动作理论结合,得到OWL-S进程(尤其复合进程)操作语义的Petri网描述,为组合语义Web服务的自动组合和动态性质分析提供了更为有效的逻辑依据和方法。
owl-s 操作语义 动态描述逻辑 Petri网 语义Web服务
马炳先 杜玉越
济南大学信息科学与工程学院 山东济南 250022 山东科技大学信息科学与工程学院 山东青岛 266510;中国科学院软件研究所计算机科学重点实验室 北京 100080
国内会议
大连
中文
69-74,128
2007-08-01(万方平台首次上网日期,不代表论文的发表时间)