Web服务分析测试与验证.docVIP

Web服务分析测试与验证 　　 　　摘要：如何有效地保证Web服务及其组合的质量是面向服务计算的一个重要内容。面向服务计算倡导以服务及其组合为基础构造应用的开发模式，以提高应用系统的互操作能力、敏捷性及集成能力。介绍了软件分析、测试与验证和Web服务、面向服务计算的工作原理和方式，并概述了Web服务的分析、测试与验证。?? 　　关键词：Web服务；面向服务计算；服务组合；软件分析；软件测试；形式化验证?? 　　中图分类号：TP306+.2文献标识码：A文章编号：1672??7800（2011）07??0012??03?お? 　　?? 　　作者简介：吴强(1977-)，男，江苏江阴人，江苏广播电视大学主任科员，工程师，研究方向为计算机软件。 　　 　　 　　0引言?? 　　 面向服务计算（Service Oriented Computing,SOC）是当前备受工业界与学术界关注的主题，也是未来的发展趋势。作为软件领域最热门的话题之一，面向服务计算技术是标识分布式系统与软件集成等方向技术进步的一个新的里程碑。面向服务计算倡导以服务及其组合为基础构造应用的开发模式，标准化、松耦合及透明的应用集成方式是其重要特征。这些特征有助于提高应用系统的互操作能力、敏捷性及集成能力。同时它也带来了新的不确定性，并且对系统的部署、性能、事务、监控、访问控制、语义基础设施与元数据管理、生命周期管理的方式提出了诸多挑战。Web服务是SOC中所强调的服务概念的一种具体表现形式和功能载体。?? 　　 基于Web服务所构建的软件质量的技术、方法、原理，对Web服务及其组合进行有效的分析、测试与验证，并解决SOC应用过程中出现的问题，都具有十分重要的意义。?? 　　1Web服务?? 　　 Web服务是面向服务计算（SOC）与面向服务的体系结构（SOA）中所强调的服务概念的一种具体表现形式和功能载体，它是一种基于Web环境的具有自适应、自描述、模块化、良好互操作能力的应用程序。Web服务的最大特点在于其互操作性和重用性，其互操作能力使得Web服务成为一种最有吸引力的用于异质异构应用和系统无缝集成的粘合剂，而重用性使得Web服务成为软件服务化的最佳载体。图1展示了Web服务的工作模型，Web服务作为应用组件，可以被其它程序调用，服务之间使用一些开放协议进行通信。可以使用UDDI（Universal Discovery Description and Integration）进行服务发现，UDDI 是一套基于Web的、分布式的、为Web服务提供的信息注册中心的实现标准规范。?? 　　 　　图1Web服务工作模型?? 　　2分析、测试与验证?? 　　2.1Web服务建模?? 　　 对Web服务进行建模也就是对Web服务进行分析的过程。可以使用IBM的模型驱动开发（Model-Driven Development，MDD）方法来对Web服务进行建模，如图2所示。MDD是由模型驱动的开发方式，简单来说就是以建立模型为主要手段的开发，可以使开发人员把更多的精力放在产品的模型和结构上，而不是程序语言和算法实现上。可将MDD应用到Web服务开发的过程中，具体包括以下几个部分：?? 　　分析模型（Analysis model）：一种高度抽象的模型，包含了代表解决方案的元素，而没有涉及到任何平台或具体的体系结构；?? 　　软件服务设计模型（Software services design model）：由分析模型派生而来，该模型采用了面向服务的体系结构（SOA）风格，而实际的实现技术和平台没有被引入；?? 　　Web服务实现模型（Web service implementation model）：由软件服务设计模型派生而来，该模型中加入和提炼了Web服务实现的具体细节，以确保生成的工件被精确的说明；?? 　　XML或WSDL工件（XML or WSDL artifacts）：实际的可部署的工件，包括了XML模式和WSDL文档；?? 　　需求（Requirements）：每个模型开发过程中所使用的需求，这些需求同样也用来设定模型之间的转换；?? 　　 　　图2模型驱动开发(IBM)?? 　　 可以使用UML 2.0来对Web服务建模，例如对WSDL、SOAP、UDDI建模。针对语义Web服务，可以使用WSML对其进行建模。Web服务建模语言（WSML）是一种形式语言，该语言为Web服务建模本体(WSMO)提供了语法学和语义学的支持。换句话说，WSML提供了一些方法用来将WSMO元素形式化描述为本体、语义Web服务、目标、中间件。WSML是基于逻辑形式化（描述逻辑）、一阶逻辑、以及逻辑编程。其它还有一些可采用的Web服务建模技术，如