多We＋b服务组合兼容性的自动化验证.docxVIP

ComputerEngineeringandApplications计算机工程与应用2016，52（7）67

多Web服务组合兼容性的自动化验证

贾志淳1，邢星1，2

JIAZhichun1,XINGXing1，2

1.渤海大学信息科学与技术学院，辽宁锦州121013

2.哈尔滨工业大学航天学院，哈尔滨150001

1.CollegeofInformationalScienceandTechnology,BohaiUniversity,Jinzhou,Liaoning121013,China

2.SchoolofAstronautics,HarbinInstituteofTechnology,Harbin150001,China

JIAZhichun,XINGXing.AutomatedverificationofcompositionalcompatibilityformultipleWebservice.Com-puterEngineeringandApplications,2016,52（7）：67-73.

Abstract：TheobjectiveofWebservicecompositionistorealizethecomplexfunctionswhichasingleservicecannotmeet.It’sverynecessarytoassurethecompositionalcorrectnessinordertoimplementtheamplifyingservice.Sothecor-rectnessverificationaftercompositionisanimportantresearchdirectionofWebservicecomposition.ThispaperextendstheavailabletheoriesonbehaviorcompatibilityandproposesalgorithmstogenerateprocessesinordertoautomatetheverificationofthecompositionofWebserviceswithmultipleinteractionsbyusingpi-calculus.

Keywords：Pi-calculus;Webservicecomposition;behaviorcompatibility;Webservicebehavior;automatedverification

摘要：Web服务组合的目的是实现单一服务无法满足的复杂功能，而保证组合的正确性以实现服务增值是十分必要，因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合，在提出行为兼容性的相关理论的基础上，给出基于Pi演算的多Web服务组合行为兼容性的自动化验证算法，通过将多Web服务组合自动转化为Pi演算中的组合进程，实现多Web服务组合的自动化验证。

关键词：Pi演算；Web服务组合；行为兼容性；Web服务行为；自动化验证

文献标志码：A中图分类号：TP391doi：10.3778/j.issn.1002-8331.1405-0194

1引言

Web服务组合是指由各个小粒度的Web服务相互之间通信和协作来实现大粒度的服务功能[1]。它包含了Web服务发现、Web服务组合、Web服务组合验证等诸多关键问题。Web服务组合的目的在于当现实环境所需求的功能变得复杂，而单一的Web服务所提供的功能无法满足使用者的需求时，借由Web服务组合建立新的服务，提供更加复杂的功能[2]。若干Web服务组合之后能否正确执行并成功实现用户既定的目标是检验Web服务组合方法正确性和可用性的主要标准。因此，在将组合服务正式投入运行之前对其进行验证至关重要。目前，针对Web服务组合验证主要有三种形式化方法：基于Petri网、有限自动机和进程代数的服务组合验证方法。三种方法的表达方式、数学理论基础等方面各不相

同，但对于Web服务组合验证而言，其验证能力基本相当[3]。基于进程代数的方法由于采用了进程表达式描述系统，其表达能力强而且形式更为简洁