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