基于时序描述逻辑的Web服务本体语言过程模型语义  

Semantics of OWL-S process model based on temporal description logic

作　　者：李明[1] 刘士仪[1] 年福忠[1] 

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

出　　处：《计算机应用》2013年第1期266-269,共4页journal of Computer Applications

基　　金：甘肃省自然科学基金资助项目(1014RJZA028;1112RJZA029);甘肃省高等学校基本科研项目(1114ZTC144)

摘　　要：针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最终实现了对OWL-S过程模型的形式化建模。实例结果验证了所提方法的可行性,为进一步的分析和验证提供了基础。Concerning the problem that Ontology Web Language for Services （OWL-S） process model lacks capacity for dynamic interaction and timing characteristics, a formalization method based on temporal description logic for process model was proposed. It described the atomic processes and composite processes of the OWL-S process model, and then the dynamic semantic of OWL-S process model was obtained. Finally, the formal modeling of OWL-S process model was realized. The experimental results show that the proposed method is feasible, and it provides the foundation for the analysis and validation.

关 键 词：WEB服务本体语言 时序描述逻辑 服务组合 形式化 过程模型 建模 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]