基于语义BPEL的民航公众信息系统动态服务管理

摘要

面向服务架构相关技术是近些年的研究热点,它包含了若干标准的协议规范,目标是提供一个通用技术平台,有效支持业务的变化与发展。越来越多的企业开始转向面向服务架构,把异构的软件构件整合起来。与此同时,语义网络和本体论也迅速的成长起来。它们赋予了网络上所有的资源(或服务)以语义信息,以方便机器对资源进行处理。
　　 然而,随着系统的不断成长,会产生越来越多的服务,导致服务的版本控制,服务集合的管理,业务流程的动态组织会变得越来越困难。而且,现在存在很多不规范的服务构建方法,使分布于网络上的各种服务无法顺利的交互。服务描述的不统一,主要体现在软件功能信息描述的不规范和非功能性信息的匮乏。把语义网络和本体的相关技术引入到Web服务技术中,将会解决这类问题。OWL-S(Web服务的本体语言)的应用已经改善了服务描述的问题。同时,BPEL(业务流程执行语言)渐渐流行起来,它强大的功能让它成为了流程组织的首选技术。但这仅仅是一个开始,服务集合的管理、业务流程的组织等等问题将变得越来越严峻。首先是本体构建过程本身很不统一,使得语义难以保持一致。其次,服务的爆炸导致业务流程的编写越来越复杂,开发效率低、且容易出错。必须要在统一的技术规范上努力解决所有这些问题。
　　 虽然OWL-S给了Web服务一套完整的本体,但是它并没有涉及业务流程的概念。这种情况下,服务的动态组合依然难以实现。本文首创性的提出了业务流程元语言的语义化思想。业务流程元语言可以是传统的编程语言如Java、C++,也可以是BPEL,这里则重点研究了BPEL语言的语义化。将BPEL流程语义放到传统服务语义中,可以提高服务间的可交互性,在必要时可以方便的自动创建业务流程,大大简化了业务流程的开发。其次,本文提出了基于语义BPEL的服务动态组合算法,可以应需求变化快捷的实现服务的动态组合及管理。另外,文章还为民航公众信息系统创建了本体,并提出了面向SOA的本体构建方法,新的方法可以被用于构建面向服务架构系统的本体。本文的研究在民航系统平台上起到了良好的效果,证明了其有效性。

目录

文摘

英文文摘

基金项目

第一章 绪论

第一节 引言

第二节 研究背景

第三节 组织结构

第二章 动态服务管理

第一节 Web服务

第二节 服务管理

第三节 业务流程

2.3.1 服务组合

2.3.2 业务流程语言

第四节 语义网络

2.4.1 本体论

2.4.2 OWL

2.4.3 OWL-S

第三章 民航领域本体构建

第一节 本体构建简述

第二节 面向SOA的本体构建方法

第三节 民航系统需求

第四节 构建民航相关本体

第四章 BPEL语义化

第一节 BPEL简述

第二节 BPEL语义化

4.2.1 BPEL语义化的意义

4.2.2 BPEL本体建模

第三节 引入BPEL语义的OWL-S

第五章 服务动态组合

第一节 语义Web服务

5.1.1 Web服务

5.1.2 语义Web服务

第二节 服务语义匹配

第三节 服务组合思想

第三节 推理/组合算法

第六章 民航用例展示

第一节 系统环境

第二节 航班用例场景

第三节 动态组合服务

第七章 总结

第一节 本文工作

第二节 进一步展望

参考文献

致谢

个人简历、在学期间发表的学术论文与研究成果

个人简历

发表的学术论文