基于MDA的Web服务开发与集成

描述了Web服务的特征及其开发集成中的问题，然后讨论了模型驱动架构在Web服务开发中的使用，最后给出了一个Web服务的集成架构。     

Web服务技术的分析

Web服务提出了一种新的分布式环境中应用系统的集成模式，并基于XML标准定义了一组简单、开放的协议规范。它的主要目标就是构筑一个通用的平台无关、语言无关的技术层，以实现各种异构平台上的应用间的互连互通。文章首先介绍了Web服务架构以及该架构中的角色和操作，分析了Web服务技术系列的标准协议SOAP／WSDL／UDDI／WSFL，并讨论和比较了主要的Web服务的解决方案和支撑平台。Web服务是不断发展的体系，Web服务技术还不成熟，文章分析了Web服务在服务质量、安全、性能等方面存在的技术问题，以及今后主要发展方向。     

Web服务架构

分析了Web 服务技术架构。Web 服务的主要目标就是在现有的各种异构平台的基础上构筑一个通用的与平台无关、语言无关的技术层, 各种不同平台之上的应用依靠这个技术层来实施彼此的连接和集成。提出可以将Web 服务架构划分为概念层、逻辑层和物理层三个层次的模型, 并分别讨论了模型的具体内容。分析了Web 服务架构的优点以及还需要解决的一些问题。     

基于本体和语义Web服务的供应链知识集成

运用本体论、语义Web、Web服务和多Agent等技术研究供应链系统知识集成的方法，提出了一个基于本体和语义Web服务的多Agent供应链知识集成架构，讨论了供应链系统中基于语义Web服务的智能服务机制和基于元本体和共享本体的多Agent协作方法。     

Web服务测试问题综述

近来出现了一种新的支持分布式计算的范型--面向服务的体系结构(SOA).Web服务就是这种结构的具体实现形式之一.众所周知,为了获得一个可信的、可靠的服务,对服务实施完全、充分的测试是至关重要的.所以本文对Web服务的测试方法和技术进行了调查研究.本文从SOA体系结构下Web服务的特点及其测试的新的挑战出发,讨论了Web服务测试与传统测试的不同点;接着从多个不同的角度(测试的视角和测试的策略)讨论了Web服务测试的相关问题.然后给出了一个Web服务测试过程的组织框架,还讨论了目前Web服务测试的研究现状和一些代表性的Web服务测试技术.最后总结全文并给出未来的研究方向.     

MDA技术在Web服务开发与集成中的应用

模型驱动架构（Model Driven Architecture．MDA）是对象管理集团（OMG）提出的一个新的软件开发框架,它把应用开发的重点由编码转移到更高的抽象层次——模型（元数据）。针对现今Web服务开发模式中存在的问题,讨论了模型驱动架构技术在Web服务开发与集成中的应用,引出开发流程并且提出一个二者结合的模型集成架构,最后使用支持MDA的工具OptimalJ开发与集成了一个Web服务,从实例中分析它们结合的可行性与优势。     

基于Web Services的智能社区信息系统软件集成框架

当前智能社区建设成了一种趋势，智能社区信息系统软件集成有着广泛的需求。Web服务作为一种新的分布式计算系统具有许多优异的特性，如松散耦合性、集成的灵活性等。结合智能社区信息系统软件集成的需求和Web服务的特点，设计了一种智能社区信息系统软件集成框架，并且通过实例讨论了一些具有共性的问题。     

Web Services:分布式网络体系新架构

Web服务作为一种新型的分布式网络体系架构成为目前研究的热点。该文从分布式计算技术与Grid计算和XML等技术发展融合的角度分析了Web服务发展历程和概念定义。提出了一种RSRPM新的Web Services架构模型和形式化定义，并对实现时所需要采用的核心步骤、指令方法以及核心协议栈进行了分析和描述。另外，在对目前Web服务的应用情况进行分析的基础上，指出了Web服务存在的局限性、4个主要的技术问题以及未来的发展趋势。     

MDA技术在Web服务开发与集成中的应用

模型驱动架构(Model Driven Architecture,MDA)是对象管理集团(OMG)提出的一个新的软件开发框架,它把应用开发的重点由编码转移到更高的抽象层次--模型(元数据).针对现今Web服务开发模式中存在的问题,讨论了模型驱动架构技术在Web服务开发与集成中的应用,引出开发流程并且提出一个二者结合的模型集成架构,最后使用支持MDA的工具OptimalJ开发与集成了一个Web服务,从实例中分析它们结合的可行性与优势.     

基于Activity Service的事务性Web的研究

当前Internet的发展趋势是事务性Web，这需要解决相关的Web服务的事务性语义问题，以保证Web服务整个处理流程的完整性和可靠性。传统的事务模型以及分布式对象事务系统不再适用于新的Web环境下的要求。在总结相关工作的基础上，本文提出利用LRUOW HLS模型以及扩展WSDL规范以实现并声明事务性Web服务；并研究了扩展AS基础系统结构以解决集成Web服务的事务性的可能性。     

Web服务组合测试综述

随着面向服务技术和云计算技术的不断成熟,尤其是面向服务体系结构SOA的不断完善以及推广,使得其主要内容Web服务已经被广泛应用.为了充分利用Web服务并解决单个Web服务的功能有限的问题,业界将多个原子Web服务按照一定的规则和业务逻辑进行组合,以提供更多功能更强大的服务,实现了Web服务的增值和复用.为保证Web服务组合的质量,需要对Web服务组合进行全面、充分的测试.然而,由于Web服务组合的动态特性和分布式特点,使得其测试技术与方法和传统的软件测试有很大区别,存在很多挑战.本文针对Web服务组合测试,对近年来Web服务组合测试研究中的测试用例生成技术、回归测试技术、测试执行和度量方法进行了系统地总结和分析.此外,我们还对Web服务组合测试中有待研究的问题进行了分析和展望.     

基于Petri网的Web服务组合验证方法

对服务组合进行结构验证分析的目的在于发现结构中固有的致命弱点,保证运行时的Web服务组合是良结构的.Web服务组合的有界性验证用来判断是否存在影响Web服务组合实施的Web服务或子Web服务组合;死锁验证用来发现是否存在可能的服务盲区;陷阱验证用来发现是否存在可能的服务异常区.给出了上述各项验证的实现算法,测试实验验证了该算法的正确性.     

Verifikation von Webservicekompositionen:

Web service compositions coordinate Web services of different enterprises. They are expected to constitute the foundation of service-oriented architectures, to improve business processes as well as to foster intra- and inter-organizational integration. Especially in inter-organizational contexts, quality of service referring to non-functional requirements and conformance to functional requirements are becoming vital properties. With Web service compositions being asynchronous and distributed systems, the latter property – which is also called correctness – can be shown best by verification. This paper examines from a system-theoretic perspective how correctness can be operationalized for Web service compositions. It also proposes a requirements framework for service-oriented modeling techniques so that correctness can be shown by verification and Web service compositions can be modeled intuitively. In order to show the framework’s principle applicability, an example approach is analyzed with respect to the corresponding requirements.     

一种基于扩展有限自动机验证组合Web服务的方法

为简化并自动化组合Web服务验证,提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状态转移及其标注描述Web服务与用户间的消息交换.EDFA给出Web服务交互过程的所有消息交换序列,刻画出Web服务的动态行为.使用基于EDFA的组合Web服务验证方法不但可以验证组合Web服务是否满足系统需求,还可以验证组合Web服务运行过程是否有逻辑错误.与其他方法相比,该方法更适于验证开放式环境下的组合Web服务.     

Model transformation and formal verification for Semantic Web Services composition

Web services composition is becoming more and more important in today’s service oriented business environment. We need to compose services from different providers together to fulfill the business goals that cannot be satisfied by any single service. However, different services often have semantic inconsistencies which may lead to the failure of the services composition. In order to verify the correctness of the Semantic Web Services composition, this paper proposed a composition model of Coloured Petri Nets which is transformed from OWL-S model. This model can express the logical relations among the sub-processes of the services composition explicitly, and verify the correctness of the services composition using formalized methods of Coloured Petri Nets. This paper presented the verification algorithms for the reachability, boundness and semantic consistency of composed services. Furthermore, an example of collaborating design process was given to simulate and execute the model.     

Web服务的Pi演算描述

如何从已有的 Web 服务构造新的增值性的正确的 Web 服务,已成为研究 Web 服务的群体关注的一个焦点。因此,为了得到可靠的、高质量的服务,必须找到一种建模方法和工具,在 Web 服务投入使用之前,对其进行分析和验证。本文主要从过程代数的角度出发,用 Pi 演算来描述 Web 服务以及 Web 服务的组合。     

Web服务流程相容性和相似性分析

服务组合和服务替换是面向服务计箅的研究热点,服务流程的相容性和相似性分析是其中的两个密切相关的问题,具有较大实用价值.基于着色Petri网建模Web服务流程,定义服务流程的正确性和相容性.提出服务良构件的概念,证明良构件能够保证组合服务可达终止状态的正确性.在相容性分析的基础上,提出服务流程相似性的定义,证明若新服务与要被替换的服务流程相似,则所进行的替换是上下文无关的,替换后无须再做组合正确性验证,给出相似性的判定算法.文中结论和算法改进了现有服务组合验证和服务替换方法的不足.     

Web服务测试技术综述

面向服务的体系结构（SOA）已成为基于Web的分布式系统的主要发展趋势。Web服务作为实现SOA的一种形式,已得到广泛的关注与应用。由于Web服务为基于开放和通用的协议与平台,其服务质量与可信等均可能存在问题,这将会阻碍Web服务的发展。Web服务进行充分测试可保证Web服务的质量,然而由于Web服务所具有的特点,传统的软件测试技术方法不再适用于Web服务的测试,所以对Web服务测试方法和技术的研究成为当务之急。本文在SOA体系结构基础上,讨论了Web服务测试的难点和Web服务测试的基本方法,分析了目前Web服务测试的研究现状。最后,展望了未来可能的研究方向。     

基于主体的语义Web服务自动组合研究

语义Web服务要解决的一个主要问题就是如何实现服务组合自动化.主体技术因其智能性、自主性等特点在解决语义Web服务组合问题中具有较大优势.通过分析语义Web服务组合研究现状,分析主体、语义Web与Web服务的紧密关系,论证了基于主体的语义Web服务的可行性并描述了基于多主体的Web服务组合平台架构.介绍了基于主体技术的语义Web服务组合技术,将服务组合看成是一个多主体环境下的规划问题,给出语义Web服务作为主体动作子类的形式化定义,并针对服务组合问题增加限定条件,定义服务之间的5种关系,试图从逻辑角度,以描述逻辑为基本工具,突出服务的动态性与交互性.最后利用主体的目标规划以及基于描述逻辑的有效推理,给出了服务的自动组合算法.