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

Research on First-order Dynamic Logic Semantic of OWL-S Process Model

作　　者：李明[1] 刘冬[1] 

机构地区：[1]兰州理工大学计算机与通信学院,兰州730050

出　　处：《计算机工程》2012年第12期45-47,51,共4页Computer Engineering

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

摘　　要：针对Web服务本体语言(OWL-S)过程模型语义不完善、难以对其进行有效形式化分析和验证的问题,提出一种OWL-S过程模型的形式化方法。该方法对原子过程提供的输入、输出参数、前提条件、执行效果,以及组合过程控制构造子的语义进行描述,从而得到过程模型的一阶动态逻辑语义。实例结果验证了该方法的有效性。The semantics of Ontology Web Language for Services（OWL-S） process model is not complete,which makes it difficult to carry out analysis and verification by machine.To solve this problem,this paper proposes a formalization method of OWL-S process model.It describes the atomic processes with their inputs,outputs,preconditions and effects and composite processes with their control construct,then the first-order dynamic logic semantics for process model is obtained.Example result validates the effectiveness of this method.

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

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]