面向Web服务的XKMS模型设计与实现

针对XKMS安全规范应用的局限性,提出一种面向Web Service的XKMS服务模型.该模型将XKMS规范与底层PKI解决方案相结合,构成一个开放的、模块化的体系结构,它通过一个Web服务接口实现不同PKI规范之间的集成.首先给出了该模型的体系结构并详细描述了各模块的功能和执行方法,接着描述了表示数字证书状态的数据结构以及XKMS与底层PKI系统之间进行通信的接口方法,最后用Java实现了所提出的XKMS服务模型的原型系统.实验分析表明,实现的XKMS系统具有良好的安全性能和执行效率.     

一个基于有色Petri网的自动Web服务合成模型

提出了一个基于有色Petri网的自动Web服务合成模型,为Web服务的合成提供语义支持,提高合成服务的可靠性和可维护性.该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构.给出了Web服务基于有色Petri网的形式化定义.定义了一个封闭的Web服务合成算法,通过算法获得的框架能够对Web服务进行说明性的合成.定义了一个自动Web服务合成算法,通过该算法,可以对Web服务进行有人工指导的半自动合成和无人工指导的自动合成.     

基于Web服务的移动电子商务技术研究

分析了Web服务的体系结构和移动电子商务所需的相关技术,设计了移动Web服务的应用方案.最后,以移动电话自动售货系统为例,给出了移动Web服务的一个简单应用.     

BPEL中基于有限状态自动机的Web服务自动组合

提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统.     

基于MDA的Web服务动态组合的研究

针对目前Web服务动态组合方面出现的技术问题,给出了基于MDA的Web服务组合的方法,MDA具有将功能需求与具体实现技术分离的优势,因此可以有效地解决Web服务动态合成的可靠性、灵活性、复用性问题.在给出了结合MDA思想的服务合成体系框架的基础上,分析了UML类图与WSDL语言元模型、UML活动图与WS-BPEL语言元模型的对应关系以确定模型到代码的转换规则.最后以某制造企业的案例验证该技术的可行性.     

AADL模型代码自动生成技术研究*

随着嵌入式系统在安全关键领域的广泛应用,必须采用现代软件工程的技术进一步提高其可信性,以保证人们的生命安全。基于模型驱动方法,对AADL（体系结构分析设计语言）模型的框架代码自动生成技术进行了研究,提出了从AADL模型元素到C和Ada的语法元素的映射规则,由此实现了自动代码生成器generator并集成在开源工具OSATE中。最后通过一个实例,说明将AADL模型自动转换为框架代码后与模块代码结合的有效性。     

面向方面的中间件

中间件应用领域的不断拓展,给中间件体系结构的设计带来了困难,中间件的体系结构必须在通用性与专用性之间寻找平衡.传统的中间件体系结构产生这些问题的一个基本原因是:使用垂直分解过程获得的软件分解模型不能同时模块化共存的正交设计需求.论述了针对专门领域的面向方面中间件开发的三种工具:AspectIX和QuO处理QoS关注点,DIL从功能代码中分离协议实现.在建造一个中间件系统时,使用这些工具可以获得较好的模块性、可配置性和代码的演化性.     

ALBC4WS:一种基于软件体系结构生命周期的动态服务合成框架

从软件体系结构的角度出发,对Web服务组件与服务合成等概念以及性质进行了形式化定义与分析,提出了一种基于体系结构生命周期的Web服务动态合成模型：ALBCAWS模型．该模型是在服务的发布管理算法和服务的自动合成查询与恢复管理算法的基础上为服务组件的合成提供了一个动态的、可管理的服务合成支撑框架．在OPEN—WEB原型系统的开发实践表明,该模型提高了服务组件的合成能力、保证了合成系统的健壮性和自适应性,同时也为Web服务的合成过程提供了有效的动态管理机制．     

自适应Web服务工作流体系结构的研究

通过在Web服务中引入语义成分,采用DAML-S来描述Web服务,提出了一个自适应Web服务工作流的体系结构,然后深入讨论了其中的两个核心模型:Web服务自动发现模型和Web服务自动交互模型。     

基于BPEL4WS的Web服务合成

在介绍了BPEL4WS的基本概念、特点及服务合成基本组成的基础上,利用BPEL4WS构建了一个虚拟第三方物流的Web服务合成系统.模型,并给出了该模型的控制流程和核心部分的代码.     

支持Web Services语义组合的框架IRS-Ⅱ：分析与讨论

Web Services是基于Internet进行分布式计算的基本元素,面向Service的计算将成为未来计算技术发展的趋势.但如何能够自动发现需要的Service资源,提高Web Services组合的智能化程度,是近来的研究热点之一.IRS-II首先提出基于任务本体的Service发布、发现和组合方法,可以说是将Service发现和组合从语法的层次提升到了语义的层次.本文首先深入分析了IRS-Ⅱ提出的方法及其体系结构,然后对Web Services的智能检索和服务组合的问题进行讨论.     

支持Web Services语义组合的框架IRS-Ⅱ：分析与讨论

Web Services是基于Internet进行分布式计算的基本元素，面向Service的计算将成为未来计算技术发展的趋势。但如何能够自动发现需要的Service资源，提高Web Services组合的智能化程度，是近来的研究热点之一。IRSⅡ首先提出基于任务本体的Service发布、发现和组合方法，可以说是将Service发现和组合从语法的层次提升到了语义的层次。本文首先深入分析了IRS-Ⅱ提出的方法及其体系结构，然后对web Services的智能检索和服务组合的问题进行讨论。     

A two-phase framework for quality-aware Web service selection

Service-oriented computing is gaining momentum as the next technological tool to leverage the huge investments in Web application development. The expected large number of Web services poses a set of new challenges for efficiently accessing these services. We propose an integrated service query framework that facilitates users in accessing their desired services. The framework incorporates a service query model and a two-phase optimization strategy. The query model defines service communities that are used to organize the large and heterogeneous service space. The service communities allow users to use declarative queries to retrieve their desired services without worrying about the underlying technical details. The two-phase optimization strategy automatically generates feasible service execution plans and selects the plan with the best user-desired quality. In particular, we present an evolutionary algorithm that is able to “co-evolve” multiple feasible execution plans simultaneously and allows them to compete with each other to generate the best plan. We conduct a set of experiments to assess the performance of the proposed algorithms.     

一种支持领域变化性的Web Services组装方法

随着Web Services及其相关技术的成熟,软件开发逐渐从基于构件的软件开发转向基于服务的软件开发。因此如何支持适应用户需求的Web Services的组装是当前研究的热点之一。本文提出了一种支持领域变化性的Web Services组装方法,该方法可以较好地适应用户需求的更改。文中引入了领域组装模型,使之能对一族具有领域共性和变化性的系统进行定义与描述。接着论述了如何根据用户的需求来确定Web Services应用的系统组装模型,并转换为可执行的组装描述语言的过程和方法。本文在最后给出了一个应用实例。     

智能Web服务及其元模型驱动的开发环境

当前的Web服务尚没有充分的语义支持,无法支持动态的面向服务组合与协同.提出了智能Web服务的参考元模型,强化其语义支持的交互与推理能力,并仔细探讨了服务的内部结构及其实现.基于这一模型,开发了一套集成开发环境,并以此来验证模型的可行性.     

Towards a framework for the development of adaptable service-based applications

Service-oriented computing is a promising computing paradigm which facilitates the composition of loosely coupled and adaptable applications. Unfortunately, this new paradigm does not lend itself easily to traditional software engineering methods and principles due to the decentralised nature of software services. The goal of this paper is to identify a set of engineering activities that can be used to develop adaptable service-based applications. Rather than focusing on the entire service-based application development life-cycle, this paper will focus on adaptation-specific processes and activities and map them to an existing high-level service-based application development life-cycle. Existing software engineering literature as well as research results from service engineering research is reviewed for relevant activities. The result is an adaptation framework that can guide software engineers in developing adaptable service-based applications.     

面向服务的建模:一种全过程复用的方法

面向服务的计算是Internet环境下的一种新型软件架构理念,即通过集成分布的服务构建软件.面向服务建模是面向服务计算中的重要研究内容.一方面,面向服务的软件同传统软件一样,需要首先对应用需求进行建模.另一方面,面向服务的计算需要实现分布复用和快速集成,这对面向服务的建模提出了新的要求.文中提出一种基于全过程复用的面向服务的建模方法,即提出构建特定应用领域的本体系统,包含相互关联着的多个不同类型的本体.不同层次的软件资产关联到这些本体上,支持面向服务建模的不同阶段,包括应用框架建模、业务流程建模、合作模式建模以及组合服务建模等.当出现新的服务软件应用需求时,通过本体系统的引导复用软件资产,最后构造出服务软件模型.     

服务建模基础理论研究(英文)

面向服务的体系结构(SOA)通过发布在开放环境中的服务构造应用系统。在这样的环境中各个服务高度动态变化,需要基于服务形成的系统能够适应这种变化,这种本质特点给SOA带来巨大挑战。目前缺乏对服务系统形式化表述的理论基础。文章主要关注服务系统的基础理论,包括服务代数、基于Petrinet的服务系统建模、并发系统、冲突、混或系统、服务矩阵等。结束部分给出了具体实现的体系结构和案例。     

一种基于与或图的语义Web服务自动组合方法研究

单个Web服务提供的功能有限,服务组合成为Web服务应用的一个重要研究方向。提出了一种基于与或图的语义服务自动组合方法。该方法为Web服务引入语义,能将服务搜索空间受限于服务组合与或图中,并能从服务组合与或图中选出最佳组合图,从而达到优化服务组合的目的。仿真实验证明,该方法提高了Web服务组合的成功率和效率。