OWL-S过程模型的一阶动态逻辑语义研究

摘要：

针对Web服务本体语言(OWL-S)过程模型语义不完善、难以对其进行有效形式化分析和验证的问题,提出一种OWL-S过程模型的形式化方法.该方法对原子过程提供的输入、输出参数、前提条件、执行效果,以及组合过程控制构造子的语义进行描述,从而得到过程模型的一阶动态逻辑语义.实例结果验证了该方法的有效性.

关键词：语义Web、Web服务、Web服务本体语言、过程模型、一阶动态逻辑、形式化

所属期刊栏目：38

分类号：TP312(计算技术、计算机技术)

资助基金：甘肃省自然科学基金资助项目1014RJZA028

在线出版日期：2012-08-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：45-47,51