基于BPEL的Web服务组合测试：理论、方法与实践探索

基于BPEL的Web服务组合测试：理论、方法与实践探索一、引言1.1研究背景在当今数字化时代，分布式计算技术取得了飞速发展，成为推动信息技术进步的关键力量。其中，Web服务作为分布式计算领域的核心技术之一，以其卓越的开放性、平台独立性、松耦合性以及高度的可复用性等显著优势，在企业应用集成、电子商务、电子政务等众多领域得到了广泛而深入的应用，已然成为构建分布式应用不可或缺的重要组成部分。随着用户需求的日益复杂和多样化，单个Web服务所能提供的有限功能，已难以满足实际应用场景中错综复杂的业务需求。为了有效解决这一问题，服务组合技术应运而生。通过将多个功能各异但相互关联的Web服务，依据特定的业务逻辑和应用需求进行有机组合，能够形成功能更为强大、全面的复合服务，从而极大地拓展了Web服务的应用范围，实现了服务的增值与复用，有力地推动了分布式应用系统的发展和创新。在众多服务组合技术中，BPEL（BusinessProcessExecutionLanguageforWebServices，Web服务业务流程执行语言）凭借其强大的功能和广泛的认可度，迅速崛起并成为描述Web服务组合的事实上的标准。BPEL从组合服务的视角出发，详细且精确地描述了组合服务与参与流程的各个成员服务之间的交互方式以及交互的顺序逻辑。借助BPEL，开发人员能够以一种结构化、规范化的方式定义复杂的业务流程，实现多个Web服务之间的高效协同工作，进而构建出满足企业多样化需求的复杂应用系统。例如，在一个综合性的电子商务系统中，订单处理、库存管理、支付结算、物流配送等多个环节可能分别由不同的Web服务负责，通过BPEL可以将这些分散的Web服务有机地整合在一起，实现整个电子商务业务流程的自动化、无缝化执行，为用户提供便捷、高效的购物体验。然而，BPEL服务组合在实际应用中也面临着诸多挑战。由于其自身结构和业务逻辑的复杂性，在设计、开发和运行过程中，容易出现各种错误和问题。其中，数据流错误是影响BPEL服务组合质量和可靠性的关键因素之一。Web服务之间主要通过消息传递进行数据交互，为了确保数据的隐私性、完整性和安全性，BPEL服务组合常常需要对内部和外部的数据进行大量的转换、验证和处理操作。这种数据处理的复杂性使得BPEL服务组合极易引入数据流错误，如数据丢失、数据格式不匹配、数据类型错误、数据依赖关系错误等。这些数据流错误一旦发生，可能会导致服务组合在运行过程中出现异常、错误的结果，甚至引发整个应用系统的故障，无法正常为用户提供服务，给企业带来严重的经济损失和声誉损害。综上所述，BPEL服务组合在Web服务与分布式计算的发展中扮演着举足轻重的角色，然而数据流错误的存在却对其质量和可靠性构成了严重威胁。因此，深入研究BPEL服务组合中的数据流错误，提出有效的检测和修复方法，具有极其重要的现实意义。这不仅有助于提高BPEL服务组合的稳定性和可靠性，保障应用系统的正常运行，还能为相关领域的研究和实践提供有价值的参考，推动Web服务技术和分布式计算的进一步发展。1.2研究目的与意义本研究旨在深入剖析基于BPEL的Web服务组合测试，通过全面、系统地研究，精准定位并解决当前BPEL服务组合测试过程中存在的各类关键问题，致力于提升BPEL服务组合的质量、可靠性以及稳定性，确保其能够在复杂多变的实际应用场景中高效、稳定、安全地运行。具体而言，研究目的涵盖以下多个关键方面：其一，全面且深入地研究BPEL编排语言以及Web服务组合测试的理论基础与方法，深度挖掘其内在原理、机制以及相互关系，为后续研究筑牢坚实的理论根基；其二，积极探索Web服务组合测试的实现技术，诸如测试用例生成和执行方法等核心技术，力求创新和优化，以提高测试的效率和准确性；其三，精心构建基于BPEL的Web服务组合测试系统，并通过严谨的实践验证，确保该系统具备良好的性能和实用性，能够切实有效地应用于实际项目中。本研究具有极为重要的理论意义与实际意义，主要体现在以下几个关键维度：在理论层面，本研究致力于为软件测试领域的持续发展贡献力量，进一步丰富和拓展测试理论的应用范畴，尤其是在BPEL服务组合测试这一特定领域，填补理论空白，完善理论体系，为后续相关研究提供全新的视角、思路和方法，推动该领域的理论研究向纵深方向发展；在实践应用层面，通过本研究提出的有效测试方法和构建的测试系统，能够显著提高Web服务的质量，确保Web服务组合在实际运行过程中具备更高的稳定性、可靠性和安全性，进而有力地推动分布式计算技术的蓬勃发展，为分布式应用系统的开发和部署提供坚实的技术保障；从产业发展角度来看，本研究成果将为相关企业提供切实有效的Web服务组合测试工具和方法，助力企业增强其软件测试能力，提高软件开发效率，降低软件开发成本和风险，提升企业在市场中的竞争力，促进整个软件产业的健康、可持续发展。1.3研究方法与创新点本研究综合运用多种研究方法，确保研究的科学性、全面性和深入性。具体研究方法如下：文献研究法：全面梳理国内外关于BPEL、Web服务组合以及软件测试等领域的相关文献资料，系统分析和总结现有研究成果，明确研究现状与发展趋势，找准研究的切入点，避免重复研究，为后续研究工作奠定坚实的理论基础。通过对大量文献的研读，深入了解BPEL的语法规则、语义特征、执行机制，以及Web服务组合的架构模式、设计原则、实现技术，同时掌握软件测试的基本理论、方法和工具，尤其是针对分布式系统和Web服务的测试技术，从而为研究提供丰富的理论依据和研究思路。案例分析法：精心选取具有代表性的实际Web服务组合项目案例，深入剖析其中BPEL服务组合的具体应用场景、业务流程以及所面临的实际问题。通过对这些案例的详细分析，深入了解BPEL服务组合在实际应用中的特点和需求，发现其中存在的数据流错误类型、表现形式以及产生的原因，进而有针对性地提出解决方案和测试策略。例如，通过分析电子商务、电子政务等领域的实际项目案例，了解订单处理、行政审批等业务流程中BPEL服务组合的应用情况，以及在数据交互、业务逻辑执行过程中出现的各种问题，为研究提供真实可靠的实践依据。实验研究法：搭建基于BPEL的Web服务组合实验环境，设计并开展一系列实验。通过实验，深入研究BPEL服务组合的性能、可靠性以及数据流错误的检测和修复方法。在实验过程中，严格控制变量，确保实验结果的准确性和可重复性。例如，设计不同类型的测试用例，对BPEL服务组合进行功能测试、性能测试、压力测试等，观察服务组合在不同情况下的运行状态和表现，收集实验数据并进行详细分析，从而验证所提出的测试方法和工具的有效性和可行性。在研究过程中，本研究力求在以下几个方面实现创新：测试方法创新：针对BPEL服务组合中数据流错误的特点，创新性地提出基于模型检测和数据流分析相结合的测试方法。该方法将模型检测技术的形式化验证能力与数据流分析技术对数据流动和处理过程的深入理解相结合，能够更全面、准确地检测出数据流错误，提高测试的覆盖率和准确性。同时，引入机器学习算法，实现对数据流错误的自动分类和预测，进一步提高测试效率和智能化水平。测试工具创新：开发一套专门针对BPEL服务组合的自动化测试工具。该工具集成了测试用例生成、执行、结果分析等功能，能够与常见的BPEL引擎无缝集成，为开发人员提供便捷、高效的测试环境。在工具设计过程中，充分考虑BPEL服务组合的特点和需求，采用先进的软件架构和技术，提高工具的性能和可扩展性。应用领域创新：将研究成果应用于新兴的分布式应用领域，如物联网、云计算等。在这些领域中，Web服务组合的应用场景更加复杂，对服务的质量和可靠性要求更高。通过将本研究提出的测试方法和工具应用于这些领域，能够有效提高分布式应用系统的质量和可靠性，拓展研究成果的应用范围。二、相关理论基础2.1Web服务概述2.1.1Web服务概念与特点Web服务是一种基于网络的软件组件，它通过标准的Web协议提供服务，旨在确保不同平台的应用服务能够实现互操作。根据W3C的权威定义，Web服务是一个软件系统，其核心作用是支持网络间不同机器的互动操作。在实际应用中，Web服务通常由许多应用程序接口（API）组成，这些API借助网络，如国际互联网（Internet）的远程服务器端，执行客户提交的服务请求。从外部用户的视角来看，Web服务如同部署在Web上的对象/组件，具备一系列显著特征，这些特征使其在分布式计算领域中脱颖而出。首先，Web服务具有完好的封装性。这意味着它将内部的实现细节进行了有效隐藏，使用者只能看到该服务所提供的功能列表，而无需深入了解其内部的具体组成和运作机制。这种封装性不仅提高了服务的易用性，还降低了使用者的学习成本和使用难度。例如，一个提供天气预报信息的Web服务，用户只需调用相应的接口，传入所需的参数（如城市名称），即可获取准确的天气预报数据，而无需关心该服务是如何收集、整理和计算这些数据的。其次，Web服务具有松散耦合的特性。这一特性源于对象/组件技术，当Web服务的内部实现发生变更时，只要其调用界面保持不变，调用者便不会察觉到这种变化。即使Web服务的实现平台从J2EE迁移到.NET，或者进行相反的迁移，用户也无需对其调用方式进行任何修改。这种松散耦合性使得Web服务在维护和升级时更加灵活，能够适应不断变化的业务需求和技术环境。例如，一个在线购物系统中使用的支付Web服务，当支付服务提供商对其内部的支付算法或安全机制进行升级时，只要其对外提供的接口和参数不变，购物系统无需进行任何改动，就可以继续正常使用该支付服务。再者，Web服务具有自包含的特点。它能够独立完成特定的任务，无需依赖其他外部组件或系统即可正常运行。这使得Web服务可以方便地被集成到各种不同的应用程序中，为不同的业务场景提供支持。例如，一个提供图片识别功能的Web服务，它可以独立地对上传的图片进行分析和识别，返回识别结果，而不依赖于其他任何特定的软件或硬件环境。此外，Web服务还具有互操作、动态、独立于实现技术、构建于成熟技术、高度可集成、使用标准协议等特征。这些特征使得Web服务能够在不同的平台、编程语言和操作系统之间实现无缝集成和交互，为分布式应用的开发和部署提供了极大的便利。例如，使用SOAP（SimpleObjectAccessProtocol，简单对象访问协议）作为消息交换协议，使得Web服务可以在不同的技术平台之间进行通信和数据交换；采用WSDL（WebServicesDescriptionLanguage，Web服务描述语言）来描述服务的接口和功能，使得服务的使用者能够清晰地了解服务的使用方法和参数要求。Web服务以其独特的概念和卓越的特点，成为构建分布式应用的重要基石，为实现不同系统之间的互联互通和业务协同提供了强有力的支持。在电子商务、电子政务、企业应用集成等众多领域，Web服务都发挥着不可或缺的作用，推动着信息技术的不断发展和创新。2.1.2Web服务体系结构Web服务的体系结构是一种面向服务的体系结构（WebServices-OrientedArchitecture，简称SOA），它基于三种关键角色之间的交互，这三种角色分别是服务提供者、服务请求者和服务注册中心。这三个角色相互协作，共同构成了Web服务运行和交互的基础框架，使得Web服务能够在分布式环境中实现高效的资源共享和业务协同。服务提供者是Web服务的所有者，从体系结构的角度来看，它是托管访问服务的平台。服务提供者负责定义Web服务的服务描述，并将其发布到服务请求者或服务注册中心。在实际应用中，服务提供者可以是一个企业、组织或个人，他们通过开发和部署Web服务，将自身拥有的资源、功能或数据以服务的形式提供给其他用户或系统。例如，一家银行可以将其账户查询、转账汇款等金融服务封装成Web服务，通过网络对外发布，供客户或其他合作伙伴调用。服务请求者，也可称为用户，从企业的角度看，是要求满足特定功能的企业；从体系结构的角度看，是寻找并调用服务，或启动与服务交互的应用程序。服务请求者可以是浏览器，由人或无用户界面的程序（如另一个Web服务）来控制。服务请求者通过查找操作，从本地或服务注册中心检索服务描述，然后依据服务描述与服务提供者进行绑定，并调用Web服务实现或与其进行交互。例如，一个在线商城应用程序，为了实现支付功能，它会作为服务请求者，在服务注册中心查找合适的支付Web服务，并获取其服务描述和绑定信息，然后调用该支付服务完成用户的支付操作。服务注册中心是一个可搜索的服务描述注册中心，服务提供者在此列出他们的Web服务清单。服务注册中心包含一个可利用的服务仓库，并提供接口，允许服务请求者查找他们感兴趣的服务提供者接口，从而实现服务的发现。在静态绑定开发或动态绑定执行期间，服务请求者可以通过服务注册中心查找服务，并获得服务的绑定信息。例如，UDDI（UniversalDescription,DiscoveryandIntegration，统一描述、发现和集成）就是一种常见的服务注册中心，它为Web服务提供了统一的描述、发布和发现机制，使得服务提供者能够方便地将自己的服务注册到UDDI中心，服务请求者也能够在UDDI中心快速准确地找到所需的服务。这三种角色之间的交互涉及发布、查找和绑定等关键操作。服务提供者将服务描述发布到服务注册中心，服务请求者通过服务注册中心查找所需的服务，并获取服务描述和绑定信息，然后与服务提供者进行绑定，进而调用服务。这些操作和角色的协同工作，确保了Web服务能够在分布式环境中高效、可靠地运行，实现了不同系统之间的无缝集成和互操作。例如，在一个跨国企业的供应链管理系统中，不同地区的供应商、生产商和销售商可以通过各自的Web服务，在服务注册中心进行注册和发现，实现供应链各环节之间的信息共享和业务协同，提高整个供应链的效率和竞争力。2.2BPEL语言解析2.2.1BPEL的定义与功能BPEL，即BusinessProcessExecutionLanguageforWebServices，中文全称为Web服务业务流程执行语言。它是一种基于XML（eXtensibleMarkupLanguage，可扩展标记语言）的编程语言，专门用于描述Web服务之间的业务流程和交互行为。BPEL的出现，为Web服务的组合与集成提供了一种标准化、结构化的方式，使得开发人员能够以一种统一的语言来定义复杂的业务流程，实现多个Web服务之间的协同工作，从而构建出功能更强大、更复杂的应用系统。从本质上讲，BPEL是一种用于自动化业务流程的形式规约语言。通过使用BPEL，开发人员可以将一系列现有的Web服务按照特定的业务逻辑和规则进行组合，形成一个新的、功能更丰富的复合Web服务。这个复合服务可以对外提供统一的接口，供其他应用程序调用，就像一个单独的Web服务一样。例如，在一个在线旅游预订系统中，可能涉及到机票预订、酒店预订、租车服务等多个不同的Web服务。通过BPEL，开发人员可以将这些分散的Web服务组合起来，定义一个统一的旅游预订业务流程，用户只需通过调用这个复合服务，即可完成整个旅游预订的操作，而无需分别与各个单独的服务进行交互。BPEL的主要功能包括以下几个方面：描述服务间的业务行为：BPEL能够精确地定义Web服务之间的交互顺序、条件分支、循环结构等业务逻辑，清晰地描述每个服务在业务流程中所扮演的角色和执行的操作。通过这种方式，开发人员可以将复杂的业务流程分解为一个个可管理的步骤和活动，使得业务流程的设计和实现更加清晰、易于理解。例如，在一个订单处理流程中，BPEL可以定义订单接收、库存检查、支付处理、订单发货等各个环节的执行顺序和条件，确保整个订单处理过程的准确性和高效性。实现Web服务的组合：BPEL允许将多个Web服务按照一定的规则和逻辑进行组合，形成新的复合服务。这种组合方式不仅可以充分利用现有Web服务的功能，提高开发效率，还可以根据不同的业务需求和场景，灵活地定制和扩展服务功能。例如，在一个企业资源规划（ERP）系统中，可以通过BPEL将采购、销售、生产、财务等多个Web服务组合起来，实现企业业务流程的全面自动化和集成化。支持业务流程的执行和管理：BPEL定义的业务流程可以在符合BPEL规范的引擎中执行，引擎负责解释和执行BPEL流程定义，管理流程的生命周期，包括流程的启动、暂停、恢复、终止等操作。同时，BPEL还提供了一些机制，用于监控和管理业务流程的执行情况，如日志记录、错误处理、事务管理等，确保业务流程的可靠执行和有效管理。例如，当业务流程执行过程中出现错误时，BPEL引擎可以根据预先定义的错误处理规则，进行相应的错误处理，如回滚事务、发送错误通知等，保证业务流程的完整性和数据的一致性。BPEL作为一种重要的Web服务编排语言，在Web服务组合和业务流程自动化领域发挥着关键作用，为实现分布式应用系统的高效集成和协同工作提供了有力的支持。2.2.2BPEL的核心元素与语法结构BPEL作为一种基于XML的编程语言，具有丰富的核心元素和严谨的语法结构，这些元素和结构是定义和实现Web服务组合业务流程的基础。深入理解BPEL的核心元素与语法结构，对于准确、高效地编写BPEL流程定义至关重要。BPEL的核心元素主要包括以下几类：活动（Activity）元素：活动元素是BPEL中最基本的元素之一，它代表了业务流程中的一个具体操作或任务。BPEL提供了多种类型的活动元素，如顺序活动（sequence）、并行活动（flow）、条件活动（if-else）、循环活动（while、repeatUntil）等。顺序活动用于按照顺序依次执行一系列子活动；并行活动允许多个子活动同时并行执行；条件活动根据指定的条件判断来决定执行哪个分支的子活动；循环活动则用于重复执行某个子活动，直到满足特定的条件为止。例如，在一个订单处理流程中，可能会使用顺序活动来依次执行订单接收、库存检查、支付处理等子活动；使用并行活动来同时处理订单发货和发送订单确认邮件这两个子活动；使用条件活动来根据库存情况决定是直接发货还是等待补货后再发货；使用循环活动来重复尝试支付操作，直到支付成功或达到最大尝试次数。伙伴链接（PartnerLink）元素：伙伴链接元素用于定义BPEL流程与外部Web服务之间的交互关系。它指定了BPEL流程所依赖的外部服务以及与这些服务进行交互的端口类型。通过伙伴链接，BPEL流程可以与其他Web服务进行消息交换，实现服务之间的协作。每个伙伴链接都有一个唯一的名称，并且需要指定其对应的服务接口（WSDLportType）和角色。例如，在一个在线购物系统中，BPEL流程可能通过伙伴链接与支付服务、物流服务等外部Web服务进行交互，通过定义不同的伙伴链接来明确与每个服务的交互方式和接口。变量（Variable）元素：变量元素用于在BPEL流程中存储和传递数据。它可以保存各种类型的数据，如输入参数、输出结果、中间计算结果等。变量在BPEL流程的不同活动之间起到数据传递和共享的作用，使得各个活动能够协同工作。变量需要在BPEL流程中进行声明，并指定其数据类型，通常使用XMLSchema来定义变量的数据结构。例如，在一个计算商品总价的BPEL流程中，可能会定义一个变量来存储商品的单价，另一个变量来存储商品的数量，通过这两个变量的计算得到商品的总价，并将总价存储在另一个变量中，供后续活动使用。关联集（CorrelationSet）元素：关联集元素用于在BPEL流程中跟踪和关联不同的消息交换。在异步通信的场景下，由于消息的发送和接收可能不是同步进行的，需要使用关联集来确保相关的消息能够正确地匹配和处理。关联集通过定义一组属性来标识消息之间的关联性，这些属性可以是消息中的某些字段或元素。例如，在一个订单处理流程中，可能会使用订单编号作为关联集的属性，当接收到与某个订单相关的不同消息（如订单创建消息、支付消息、发货消息等）时，通过订单编号这个关联集属性，可以将这些消息正确地关联起来，确保订单处理流程的连贯性和准确性。事件处理程序（EventHandler）元素：事件处理程序元素用于处理BPEL流程中发生的各种事件，如消息的接收、超时、错误等。它允许开发人员定义在特定事件发生时要执行的操作或活动。事件处理程序可以提高BPEL流程的灵活性和鲁棒性，使其能够对各种异常情况和外部事件做出及时的响应。例如，当BPEL流程在等待某个消息的接收时，如果超过了预定的时间仍未收到消息，就可以通过超时事件处理程序来执行相应的操作，如发送提醒邮件、回滚事务等；当发生错误时，可以通过错误事件处理程序来进行错误处理，如记录错误日志、向管理员发送警报等。BPEL的语法结构基于XML，遵循严格的XML语法规则。每个BPEL流程定义都是一个XML文档，文档的根元素是bpel:process，它包含了整个BPEL流程的定义和相关信息。在bpel:process元素内部，可以包含多个子元素，如伙伴链接定义（bpel:partnerLinks）、变量声明（bpel:variables）、流程活动（bpel:sequence、bpel:flow等）、事件处理程序（bpel:eventHandlers）等。这些子元素按照一定的顺序和层次结构进行组织，共同构成了一个完整的BPEL流程定义。例如，下面是一个简单的BPEL流程定义的示例：<bpel:processxmlns:bpel="/ws/2003/03/business-process/"targetNamespace="/processes"name="SimpleProcess"><bpel:partnerLinks><bpel:partnerLinkname="PaymentService"partnerLinkType="ns:PaymentServicePLT"myRole="OrderPlacer"partnerRole="PaymentProcessor"/></bpel:partnerLinks><bpel:variables><bpel:variablename="orderInfo"messageType="ns:OrderInfoMessage"/><bpel:variablename="paymentResult"messageType="ns:PaymentResultMessage"/></bpel:variables><bpel:sequence><bpel:invokename="InvokePaymentService"partnerLink="PaymentService"portType="ns:PaymentServicePT"operation="processPayment"inputVariable="orderInfo"outputVariable="paymentResult"/><bpel:assignname="CheckPaymentResult"><bpel:copy><bpel:fromexpression="bpws:getVariableData('paymentResult','result')"/><bpel:tovariable="orderInfo"part="paymentStatus"/></bpel:copy></bpel:assign><bpel:ifname="HandlePaymentResult"><bpel:condition>bpws:getVariableData('orderInfo','paymentStatus')='success'</bpel:condition><bpel:then><bpel:invokename="SendOrderConfirmation"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendConfirmation"inputVariable="orderInfo"/></bpel:then><bpel:else><bpel:invokename="SendPaymentFailedNotification"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendFailureNotification"inputVariable="orderInfo"/></bpel:else></bpel:if></bpel:sequence></bpel:process>targetNamespace="/processes"name="SimpleProcess"><bpel:partnerLinks><bpel:partnerLinkname="PaymentService"partnerLinkType="ns:PaymentServicePLT"myRole="OrderPlacer"partnerRole="PaymentProcessor"/></bpel:partnerLinks><bpel:variables><bpel:variablename="orderInfo"messageType="ns:OrderInfoMessage"/><bpel:variablename="paymentResult"messageType="ns:PaymentResultMessage"/></bpel:variables><bpel:sequence><bpel:invokename="InvokePaymentService"partnerLink="PaymentService"portType="ns:PaymentServicePT"operation="processPayment"inputVariable="orderInfo"outputVariable="paymentResult"/><bpel:assignname="CheckPaymentResult"><bpel:copy><bpel:fromexpression="bpws:getVariableData('paymentResult','result')"/><bpel:tovariable="orderInfo"part="paymentStatus"/></bpel:copy></bpel:assign><bpel:ifname="HandlePaymentResult"><bpel:condition>bpws:getVariableData('orderInfo','paymentStatus')='success'</bpel:condition><bpel:then><bpel:invokename="SendOrderConfirmation"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendConfirmation"inputVariable="orderInfo"/></bpel:then><bpel:else><bpel:invokename="SendPaymentFailedNotification"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendFailureNotification"inputVariable="orderInfo"/></bpel:else></bpel:if></bpel:sequence></bpel:process>name="SimpleProcess"><bpel:partnerLinks><bpel:partnerLinkname="PaymentService"partnerLinkType="ns:PaymentServicePLT"myRole="OrderPlacer"partnerRole="PaymentProcessor"/></bpel:partnerLinks><bpel:variables><bpel:variablename="orderInfo"messageType="ns:OrderInfoMessage"/><bpel:variablename="paymentResult"messageType="ns:PaymentResultMessage"/></bpel:variables><bpel:sequence><bpel:invokename="InvokePaymentService"partnerLink="PaymentService"portType="ns:PaymentServicePT"operation="processPayment"inputVariable="orderInfo"outputVariable="paymentResult"/><bpel:assignname="CheckPaymentResult"><bpel:copy><bpel:fromexpression="bpws:getVariableData('paymentResult','result')"/><bpel:tovariable="orderInfo"part="paymentStatus"/></bpel:copy></bpel:assign><bpel:ifname="HandlePaymentResult"><bpel:condition>bpws:getVariableData('orderInfo','paymentStatus')='success'</bpel:condition><bpel:then><bpel:invokename="SendOrderConfirmation"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendConfirmation"inputVariable="orderInfo"/></bpel:then><bpel:else><bpel:invokename="SendPaymentFailedNotification"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendFailureNotification"inputVariable="orderInfo"/></bpel:else></bpel:if></bpel:sequence></bpel:process><bpel:partnerLinks><bpel:partnerLinkname="PaymentService"partnerLinkType="ns:PaymentServicePLT"myRole="OrderPlacer"partnerRole="PaymentProcessor"/></bpel:partnerLinks><bpel:variables><bpel:variablename="orderInfo"messageType="ns:OrderInfoMessage"/><bpel:variablename="paymentResult"messageType="ns:PaymentResultMessage"/></bpel:variables><bpel:sequence><bpel:invokename="InvokePaymentService"partnerLink="PaymentService"portType="ns:PaymentServicePT"operation="processPayment"inputVariable="orderInfo"outputVariable="paymentResult"/><bpel:assignname="CheckPaymentResult"><bpel:copy><bpel:fromexpression="bpws:getVariableData('paymentResult','result')"/><bpel:tovariable="orderInfo"part="paymentStatus"/></bpel:copy></bpel:assign><bpel:ifname="HandlePaymentResult"><bpel:condition>bpws:getVariableData('orderInfo','paymentStatus')='success'</bpel:condition><bpel:then><bpel:invokename="SendOrderConfirmation"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendConfirmation"inputVariable="orderInfo"/></bpel:then><bpel:else><bpel:invokename="SendPaymentFailedNotification"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendFailureNotification"inputVariable="orderInfo"/></bpel:else></bpel:if></bpel:sequence></bpel:process><bpel:partnerLinkname="PaymentService"partnerLinkType="ns:PaymentServicePLT"myRole="OrderPlacer"partnerRole="PaymentProcessor"/></bpel:partnerLinks><bpel:variables><bpel:variablename="orderInfo"messageType="ns:OrderInfoMessage"/><bpel:variablename="paymentResult"messageType="ns:PaymentResultMessage"/></bpel:variables><bpel:sequence><bpel:invokename="InvokePaymentService"partnerLink="PaymentService"portType="ns:PaymentServicePT"operation="processPayment"inputVariable="orderInfo"outputVariable="paymentResult"/><bpel:assignname="CheckPaymentResult"><bpel:copy><bpel:fromexpression="bpws:getVariableData('paymentResult','result')"/><bpel:tovariable="orderInfo"part="paymentStatus"/></bpel:copy></bpel:assign><bpel:ifname="HandlePaymentResult"><bpel:condition>bpws:getVariableData('orderInfo','paymentStatus')='success'</bpel:condition><bpel:then><bpel:invokename="SendOrderConfirmation"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendConfirmation"inputVariable="orderInfo"/></bpel:then><bpel:else><bpel:invokename="SendPaymentFailedNotification"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendFailureNotification"inputVariable="orderInfo"/></bpel:else></bpel:if></bpel:sequence></bpel:process></bpel:partnerLinks><bpel:variables><bpel:variablename="orderInfo"messageType="ns:OrderInfoMessage"/><bpel:variablename="paymentResult"messageType="ns:PaymentResultMessage"/></bpel:variables><bpel:sequence><bpel:invokename="InvokePaymentService"partnerLink="PaymentService"portType="ns:PaymentServicePT"operation="processPayment"inputVariable="orderInfo"outputVariable="paymentResult"/><bpel:assignname="CheckPaymentResult"><bpel:copy><bpel:fromexpression="bpws:getVariableData('paymentResult','result')"/><bpel:tovariable="orderInfo"part="paymentStatus"/></bpel:copy></bpel:assign><bpel:ifname="HandlePaymentResult"><bpel:condition>bpws:getVariableData('orderInfo','paymentStatus')='success'</bpel:condition><bpel:then><bpel:invokename="SendOrderConfirmation"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendConfirmation"inputVariable="orderInfo"/></bpel:then><bpel:else><bpel:invokename="SendPaymentFailedNotification"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendFailureNotification"inputVariable="orderInfo"/></bpel:else></bpel:if></bpel:sequence></bpel:process><bpel:variables><bpel:variablename="orderInfo"messageType="ns:OrderInfoMessage"/><bpel:variablename="paymentResult"messageType="ns:PaymentResultMessage"/></bpel:variables><bpel:sequence><bpel:invokename="InvokePaymentService"partnerLink="PaymentService"portType="ns:PaymentServicePT"operation="processPayment"inputVariable="orderInfo"outputVariable="paymentResult"/><bpel:assignname="CheckPaymentResult"><bpel:copy><bpel:fromexpression="bpws:getVariableData('paymentResult','result')"/><bpel:tovariable="orderInfo"part="paymentStatus"/></bpel:copy></bpel:assign><bpel:ifname="HandlePaymentResult"><bpel:condition>bpws:getVariableData('orderInfo','paymentStatus')='success'</bpel:condition><bpel:then><bpel:invokename="SendOrderConfirmation"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendConfirmation"inputVariable="orderInfo"/></bpel:then><bpel:else><bpel:invokename="SendPaymentFailedNotification"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendFailureNotification"inputVariable="orderInfo"/></bpel:else></bpel:if></bpel:sequence></bpel:process><bpel:variablename="orderInfo"messageType="ns:OrderInfoMessage"/><bpel:variablename="paymentResult"messageType="ns:PaymentResultMessage"/></bpel:variables><bpel:sequence><bpel:invokename="InvokePaymentService"partnerLink="PaymentService"portType="ns:PaymentServicePT"operation="processPayment"inputVariable="orderInfo"outputVariable="paymentResult"/><bpel:assignname="CheckPaymentResult"><bpel:copy><bpel:fromexpression="bpws:getVariableData('paymentResult','result')"/><bpel:tovariable="orderInfo"part="paymentStatus"/></bpel:copy></bpel:assign><bpel:ifname="HandlePaymentResult"><bpel:condition>bpws:getVariableData('orderInfo','paymentStatus')='success'</bpel:condition><bpel:then><bpel:invokename="SendOrderConfirmation"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendConfirmation"inputVariable="orderInfo"/></bpel:then><bpel:else><bpel:invokename="SendPaymentFailedNotification"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendFailureNotification"inputVariable="orderInfo"/></bpel:else></bpel:if></bpel:sequence></bpel:process><bpel:variablename="paymentResult"messageType="ns:PaymentResultMessage"/></bpel:variables><bpel:sequence><bpel:invokename="InvokePaymentService"partnerLink="PaymentService"portType="ns:PaymentServicePT"operation="processPayment"inputVariable="orderInfo"outputVariable="paymentResult"/><bpel:assignname="CheckPaymentResult"><bpel:copy><bpel:fromexpression="bpws:getVariableData('paymentResult','result')"/><bpel:tovariable="orderInfo"part="paymentStatus"/></bpel:copy></bpel:assign><bpel:ifname="HandlePaymentResult"><bpel:condition>bpws:getVariableData('orderInfo','paymentStatus')='success'</bpel:condition><bpel:then><bpel:invokename="SendOrderConfirmation"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendConfirmation"inputVariable="orderInfo"/></bpel:then><bpel:else><bpel:invokename="SendPaymentFailedNotification"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendFailureNotification"inputVariable="orderInfo"/></bpel:else></bpel:if></bpel:sequence></bpel:process></bpel:variables><bpel:sequence><bpel:invokename="InvokePaymentService"partnerLink="PaymentService"portType="ns:PaymentServicePT"operation="processPayment"inputVariable="orderInfo"outputVariable="paymentResult"/><bpel:assignname="CheckPaymentResult"><bpel:copy><bpel:fromexpression="bpws:getVariableData('paymentResult','result')"/><bpel:tovariable="orderInfo"part="paymentStatus"/></bpel:copy></bpel:assign><bpel:ifname="HandlePaymentResult"><bpel:condition>bpws:getVariableData('orderInfo','paymentStatus')='success'</bpel:condition><bpel:then><bpel:invokename="SendOrderConfirmation"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendConfirmation"inputVariable="orderInfo"/></bpel:then><bpel:else><bpel:invokename="SendPaymentFailedNotification"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendFailureNotification"inputVariable="orderInfo"/></bpel:else></bpel:if></bpel:sequence></bpel:process><bpel:sequence><bpel:invokename="InvokePaymentService"partnerLink="PaymentService"portType="ns:PaymentServicePT"operation="processPayment"inputVariable="orderInfo"outputVariable="paymentResult"/><bpel:assignname="CheckPaymentResult"><bpel:copy><bpel:fromexpression="bpws:getVariableData('paymentResult','result')"/><bpel:tovariable="orderInfo"part="paymentStatus"/></bpel:copy></bpel:assign><bpel:ifname="HandlePaymentResult"><bpel:condition>bpws:getVariableData('orderInfo','paymentStatus')='success'</bpel:condition><bpel:then><bpel:invokename="SendOrderConfirmation"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendConfirmation"inputVariable="orderInfo"/></bpel:then><bpel:else><bpel:invokename="SendPaymentFailedNotification"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendFailureNotification"inputVariable="orderInfo"/></bpel:else></bpel:if></bpel:sequence></bpel:process><bpel:invokename="InvokePaymentService"partnerLink="PaymentService"portType="ns:PaymentServicePT"operation="processPayment"inputVariable="orderInfo"outputVariable="paymentResult"/><bpel:assignname="CheckPaymentResult"><bpel:copy><bpel:fromexpression="bpws:getVariableData('paymentResult','result')"/><bpel:tovariable="orderInfo"part="paymentStatus"/></bpel:copy></bpel:assign><bpel:ifname="HandlePaymentResult"><bpel:condition>bpws:getVariableData('orderInfo','paymentStatus')='success'</bpel:condition><bpel:then><bpel:invokename="SendOrderConfirmation"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendConfirmation"inputVariable="orderInfo"/></bpel:then><bpel:else><bpel:invokename="SendPaymentFailedNotification"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendFailureNotification"inputVariable="orderInfo"/></bpel:else></bpel:if></bpel:sequence></bpel:process><bpel:assignname="CheckPaymentResult"><bpel:copy><bpel:fromexpression="bpws:getVariableData('paymentResult','result')"/><bpel:tovariable="orderInfo"part="paymentStatus"/></bpel:copy></bpel:assign><bpel:ifname="HandlePaymentResult"><bpel:condition>bpws:getVariableData('orderInfo','paymentStatus')='success'</bpel:condition><bpel:then><bpel:invokename="SendOrderConfirmation"partnerLink="NotificationService"portType="ns:NotificationServicePT"operation="sendConfirmation"inputVar