支持服务行为和质量的面向服务软件开发

面向服务的软件开发方法减少了开发应用程序的时间和复杂度。当前面向服务架构中的服务注册和发现主要关注于服务的接口描述和静态属性，却较少考虑服务行为和服务质量。对服务行为即外部可见的操作序列的忽视，可能导致服务产生运行时的异常和错误；忽视服务质量即其运行时的质量信息，则可能导致系统运行的低效。本文提出了一种扩展的面向服务的软件开发过程，探宄服务交互过程中其行为一致和质量匹配。在面向服务的组件模型OSGi平台上，采用动态AOP技术，设计了一种支持服务行为和服务质量的中间件系统。该系统不但保证服务发现的调用一致性和服务替换的观察一致性，而且支持对服务运行时操作行为的检测和服务质量信息的收集，从而保证选择最佳的服务实现，提高应用系统的运行效率。     

一种基于服务的自适应网络应用框架

提出一个基于服务的自适应网络应用框架-iWeb.框架建立了上下文信息模型,用以描述收集上下文信息;框架收集了数以千计的服务,并对这些服务依据其功能性进行了分组.在服务质量信息,上下文信息以及服务功能性分组的基础上,提出了一种创新的服务选择方法,该方法可以根据服务质量信息和上下文信息选择最佳的服务.框架使用具有相同功能,由统一接口封装的服务组作为基本功能模块,服务的选择,服务的调用以及服务之间的调度由框架内的服务引擎负责;框架还提供了应用编辑器,来加速应用界面和流程的开发.使用iWeb框架,可以在更短的时间里开发出具有基于网络服务的自适应性的应用.最后,通过可用性分析,验证了iWeb是一个实用,高效的网络应用开发框架.     

基于Petri网的Web服务交互行为一致性检测方法

在复杂多变且不可预知的因特网环境中,Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题,提出了一种将服务组合实例的服务交互行为Petri网模型应用于交互行为一致性检测的方法。首先,提出了一个Web服务交互行为的运行时监控框架,从行为抽象和提取方法、服务交互行为的捕获机制以及交互行为一致性运行时检测方法三方面进行了详细介绍。还详细描述了基于服务交互行为Petri网模型的一致性检测机制。最后,对一致性检测方法的负载和性能进行了充分的评估。     

基于WSMO服务质量的语义Web服务发现框架

当前对Web服务进行语义描述最流行的两个框架是OWL-S和WSMO,但它们主要都是从服务功能的角度对服务进行描述,缺乏对服务质量的明确刻画,导致服务请求者难以得到最佳服务.针对此问题,对WSMO规范进行了扩展,定义了一个服务质量(QoS)的元模型--WSMO-QoS,给出了QoS的本体词汇.在此基础上提出了基于QoS的语义Web服务发现框架,并给出一个从基本描述、IOPE、QoS三个层次实现服务匹配的算法.最后,实验结果验证了该服务匹配算法的有效性.     

基于抽象服务模型提高Web服务匹配的适应性

为提高Web服务匹配方法对业务需求变化性和服务差异性的适应性,提出一种抽象服务模型以及该模型驱动的Web服务匹配方法.模型通过对多样性和具有差异性的服务的统一描述,刻画了影响服务具体能力的接口和行为属性,可基于模型检验思想,有效支撑适应性的服务匹配.本方法已应用于构建面向科学计算领域的问题求解环境.实验和应用表明基于本模型可以提高服务匹配的适应性.     

基于CPi-calculus的网格服务行为研究

当前基于网格服务组合的编排方案（choreography proposals）只给出服务描述层面上的定义,没有提供任何推导方法来保证基于此编排方案的服务的一致性。如何验证组合服务行为的正确性和有效性是当前亟需解决的一个研究课题。形式化方法提供了行之有效的建模、推导和验证机制。本文给出网格服务组合基调,基于此基调分析了网格组合服务的动态交互行为特性,提出基于CPi-calculus（Conditional Pi-calculus）的网格组合服务的行为交互模型（IABM）,并给出组合服务交互行为的形式化描述,最后进行交互行为的模拟验证。该网格服务行为交互模型为今后网格服务的组合优化工作提供了代数推导依据。     

SOBECA中间件上支持行为的服务注册和查找机制

针对SOA的服务注册查找过程中只关注接口和静态属性的问题,本文实现了一个支持行为的服务注册查找方案.该方案基于SOBECA中间件,在服务注册时提供服务的行为描述,进而在服务查找时可以根据该描述与使用者对所需服务的行为描述进行一致性检测,确保查找到的服务在接口和静态属性满足的基础上还满足行为需求.该方案可以使服务使用者获得更安全可靠的服务.     

基于监视的服务质量评估方法

在面向服务的体系结构(Service Oriented Architecture,SOA)中,消费者的目标是发现和使用高质量的服务。随着Web服务数量的不断增加,为用户推荐和选择最满足需求的Web服务已经成为服务计算领域最重要的挑战之一。在SOA中,传统的质量评估方法偏重于消费者获得更高的性能,未充分考虑消费者的个性化需求,这样,并不一定让消费者获得完全满足其需求的服务。因此,在服务选择和推荐过程中不仅需要考虑服务的功能性需求,还需要考虑服务的非功能性需求。而且,服务质量的改变只能在服务运行过程中才能被发现。为了解决上述问题,本文提出一种基于监视的服务质量评估方法,充分考虑服务的功能性和非功能性属性,建立统一模型,根据监视数据动态评估服务质量,为动态环境下选择和推荐服务提供依据。本文最后描述了该方法的实现框架。     

基于自治服务协调的长事务处理框架

针对Web服务应用中大量的长事务处理请求,基于自治服务协调的长事务处理框架实现统一的信息资源管理和协调调度.框架通过将协调上下文广播到各个参与者,并协调参与者各自的操作,从而完成业务事务的处理.在多方参与的复杂业务规则下,框架能保证聚合事务处理过程中事务状态的一致性.     

基于服务等级的网格服务质量描述语言

针对网格服务质量管理中使用服务水平协议(SLA)带来较大协商开销的问题,提出基于服务等级的网格服务质量描述语言即网格服务等级语言(CGSL)及建立在CGSL之上的网格服务质量管理框架.服务等级是轻量级SLA,提供一种区分不同服务质量的机制.CGSL基于XML技术和WSRF规范,与Web服务描述语言(WSDL)兼容,用于描述网格服务提供方所能提供的不同服务等级,为监控服务质量提供具体信息.网格服务质量管理框架建立在CGSL之上,并通过Mobile Agent监控服务质量是否得到满足.一个具体的文件存储网格服务实例用来展示CGSL在网格服务质量管理中的应用.该实例表明CGSL以少量的服务等级代替复杂的SLA,能有效降低运行时消耗,适合异构多变的网格环境.     

基于用户操作行为的兴趣度的分析与计算

在互联网的背景下,用户检索行为所体现的兴趣是零散的、分布的.利用一个群集模型来综合这些分布的信息,对个性化服务也会提供帮助.通过对单个用户行为的分析,提出了一种基于操作行为的兴趣度的计算方法,可以有效地计算出该用户对当前内容的兴趣度的基值,并最终为用户兴趣群集模型中各个结点的兴趣度的值的计算提供重要依据.     

基于Petri网的语义Web服务发现框架的研究

针对目前语义Web服务发现研究中存在的不足,提出一种基于Petri网的语义Web服务发现框架.该框架利用OWL-S本体提供的语义信息及Petir网在系统动态行为方面的验证功能,从服务注册中心发现用户所需的服务组合.Web服务的发现结果不仅满足用户的功能需求,而且保证无死锁并能够正确执行,提高了服务发现的准确性.最后通过实例分析验证了该服务发现框架的有效性.     

Ethical reciprocity in digitalized transactions: An empirical study of pre- and post-contractual behavior

Are unethical e-service providers more tolerant of disloyal users? Only a few studies have been done on the attitude of the e-service providers who behave unethically. This research intends to fill this gap in current literature. We identify two different perspectives, behavior consistency and ethical reciprocity, in explaining the attitude of e-service providers towards their users who have breached the service contracts. We further investigate such attitude in respect of the perceived mutual commitment between these providers and their users. We test our propositions by a survey on financial e-service providers and our findings support the perspective of ethical reciprocity.     

类型化的Web服务组合形式化模型

Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性.本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WS Web服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证.最后通过一个案例,给出了对Web服务组合动态行为的匹配性和数据类型的一致性的验证方法.     

A strategy for service realization in service-oriented design

Recently service orientation is becoming a mainstream approach for building large scale software systems. A key requirement in service-oriented design is the de- pendability of service. It stipulates that the behavior of services is controllable. Formal models can aid in constructing software in a dependable manner. They can describe ser- vices precisely and compose them together consistently. This paper presents a strategy for service realization based on a novel layered formal model. When a service is provided or required via internet, the semantic consistency becomes critical issue. Our architecture tackles the issue by proposing a novel scheme: defining contract of a service to keep semantic information. Although service-oriented design is our prime target, the contract models, to a large extent, are independent of the framework of design and therefore ap- plicable to large scale software design in general.     

一种面向特征的领域模型及其建模过程

特征模型作为捕获领域需求的重要模型已被现阶段的主流领域工程方法所接受,但这些方法缺乏对特征模型组织框架的细致研究和说明,在一定程度上导致了特征模型在表现形式上的冗余性和混乱性,也使得领域分析人员在实践中很难有效地进行领域建模活动.从特征模型的基本组织结构、变化性的表现方式和限制机制、变化性的绑定时间等方面对特征模型的组织框架及剪裁机制进行了统一、抽象的描述.在考察服务、用例(use case)、功能、行为特点等不同类型的特征及其相互关系的基础上,给出了一种特征模型的具体形式,并结合具体的领域,对其建模过程进行了详细论述.此项研究对于领域建模活动的成功实施具有一定的指导作用.