语义网服务框架WSMO中Choreography的应用

论文摘要

Web服务为互联网提供了一种新的应用环境,然而单一的Web服务所提供的功能无法满足服务请求者的需要,必须借助Web服务的组合来构造新的服务,以提供更复杂的功能。Web服务组合有利于信息共享和应用协作,但必须解决服务兼容性问题。语义网服务是应用语义Web技术进行扩展后的Web服务,能够提高Web服务的交互能力,增强信息的共享功能,实现Web服务的自动发现、自动组合、自动执行。迄今学术界已提出了多种语义网服务的建模框架,WSMO是其中最有成效者,Choreography是WSMO的重要组成。WSMO-Choreography从服务请求者的角度描述Web服务的行为。WSMO-Choreography概念模型可以为服务请求者和服务提供者的交互提供形式化的语义,从而提高Web服务的互操作能力。WSMO-Choreography概念模型由四种元素组成:状态信号、状态、转换规则、非功能属性。抽象状态机的基本组成:词汇表、状态、转换规则,恰巧与WSMO-Choreography概念模型的基本要素:状态信号、状态、转换规则相对应,因此可采用抽象状态机对WSMO-Choreography进行形式化描述。在WSMO模型中,服务兼容性就是指由Choreography提供的服务兼容性。服务兼容性包括数据兼容性、信息兼容性和交互兼容性。Web服务顶层要素之下的Choreography要素可满足信息兼容性,中介器顶层要素则可满足数据兼容性和交互兼容性。在Web服务执行过程中,应用WSMO-Choreography引擎和中介器是解决服务兼容性问题的可行方案。通过数码产品网上购物系统的实例可以证明,WSMO-Choreography可以有效地解决B2C电子商务系统中控制过于集中、开放性较差、系统之间不兼容等问题。

论文目录

• 摘要
• Abstract
• 第1章 绪论
• 1.1 研究背景与研究意义
• 1.2 国内外研究现状
• 1.3 Choreography概念模型的比较
• 1.4 Choreography术语的汉译
• 1.5 研究内容与论文框架
• 第2章 WSMO-Choreography概念模型
• 2.1 理论基础:抽象状态机
• 2.1.1 抽象状态机的发展及应用
• 2.1.2 抽象状态机模型
• 2.2 基于抽象状态机的WSMO-Choreography概念模型
• 2.2.1 抽象状态机在WSMO-Choreography概念模型中的应用
• 2.2.2 状态信号的本体表示
• 2.2.3 转换规则的制定以及规范化表示
• 第3章 WSMO-Choreography的形式化描述方法
• 3.1 WSML-Flight的逻辑表达
• 3.2 应用WSML-Flight的WSMO-Choreography的形式化描述
• 第4章 服务兼容性:WSMO-Choreography和中介器解决方案
• 4.1 服务兼容性的定义与类型
• 4.2 WSMO-Choreography和中介器的应用
• 4.2.1 不匹配情况的种类
• 4.2.2 中介器类型定义
• 4.2.3 WSMO-Choreography和中介器的应用
• 4.3 服务兼容性问题的解决过程
• 4.3.1 组件间的交互过程
• 4.3.2 WSMO-Choreography引擎及其执行过程
• 第5章 WSMO-Choreography在B2C电子商务中的应用
• 5.1 数码产品网上购物系统的设计
• 5.1.1 存在的问题
• 5.1.2 系统架构设计
• 5.1.3 系统功能模块设计
• 5.2 数码产品网上购物系统的WSMO-Choreography概念模型
• 5.2.1 WSDL文件中抽取状态信号
• 5.2.2 转换规则的分析与设计
• 5.3 数码产品网上购物系统的部署运行
• 5.3.1 应用WSMO Studio建模
• 5.3.2 应用IRS-III的系统运行
• 第6章 结论与展望
• 6.1 研究结论
• 6.2 进一步展望
• 参考文献
• 攻读学位期间公开发表论文
• 致谢
• 研究生履历