基于Pi-演算的OWL-S形式化研究

摘要：

W3C提出的OWL-S是面向服务的本体描述语言。它提出的目的是通过OWL-S的语义描述能力来实现服务发现、服务调用、服务组合、服务验证、互操作及执行监控。 但是OWL-S不是一种形式化语言，这使得它对服务组合和服务流程的验证能力较为欠缺。本文介绍了OWLS的基本知识，并提出通过模型转换的方式把非形式化的OWL-S模型转化为形式化描述能力强大的Pi-演算模型，借助Pi-演算椎演对OWL-S进行服务组合的推理和验证。

关键词： 模型转化 本体描述语言 面向服务 服务流程 形式化语言

作者: 徐露 葛孚华 陈刘荣

作者单位: 云南大学网络智能计算实验室 昆明 650091 云南大学信息学院 昆明 650091

会议类型: 国内会议

会议名称: 2009年西南地区网络与信息系统学术年会

会议地点: 成都

会议语种:中文

页码: 284-288

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