基于语义网络服务和Agent的虚拟企业信息系统集成

为解决传统的虚拟企业信息集成方案中存在的语义匮乏、系统自主性差等缺陷,提出采用语义网络服务和智能Agent技术,构建虚拟企业信息系统的方式。通过分析语义网络服务的优势,提出了虚拟企业语义网络服务框架,结合智能Agent技术,提出虚拟企业的多层架构并分析了模块间集成问题。最后给出了基于语义网络服务和智能Agent的虚拟企业信息集成架构。

OWL-S到Z规格说明的转换

OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具.Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力.该文研究基于Z的OWL-S形式化方法,提出从OWL-S到Z规格说明的模型转换规则.基于这些规则,用Z定义OWL-S中概念的形式化语义,并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.