摘要： 针对Web服务本体语言(OWL-S)过程模型语义不完善、难以对其进行有效形式化分析和验证的问题，提出一种OWL-S过程模型的形式化方法。该方法对原子过程提供的输入、输出参数、前提条件、执行效果，以及组合过程控制构造子的语义进行描述，从而得到过程模型的一阶动态逻辑语义。实例结果验证了该方法的有效性。
关键词:
语义Web,
Web服务,
Web服务本体语言,
过程模型,
一阶动态逻辑,
形式化
Abstract: 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.
Key words:
semantic Web,
Web services,
Ontology Web Language for Services(OWL-S),
process model,
first-order dynamic logic,
formalization
中图分类号:
李明, 刘冬. OWL-S过程模型的一阶动态逻辑语义研究[J]. 计算机工程, 2012, 38(12): 45-47.
LI Meng, LIU Dong. Research on First-order Dynamic Logic Semantic of OWL-S Process Model[J]. Computer Engineering, 2012, 38(12): 45-47.