航空订票业务的Web服务建模及组合兼容性验证

《航空订票业务的Web服务建模及组合兼容性验证》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、ComputerEngineeringandApplications计算机工程与应用2010，46（24）237航空订票业务的Web服务建模及组合兼容性验证11，21贾志淳，陈荣，张维石11，21JIAZhi-chun，CHENRong，ZHANGWei-shi1.大连海事大学信息科学技术学院，辽宁大连1160262.吉林大学符号计算与知识工程教育部重点实验室，长春1300121.SchoolofInformationScienceandTechnology，DalianMaritimeUniversity，Dalian，Liaoning116

2、026，China2.KeyLaboratoryofSymbolicComputationandKnowledgeEngineeringofMOE，JilinUniversity，Changchun130012，ChinaE-mail：rose_use@newmail.dlmu.edu.cnJIAZhi-chun，CHENRong，ZHANGWei-shi.AeronauticalbookingprocessmodelingforWebserviceandcompositionalcompatibilityverification.Comput

3、erEngineeringandApplications，2010，46（24）：237-242.Abstract：TherehasbeenanincreasedfocusinrecentyearsonWebservices，whichprovidethewayofsolvingcomplexproblemsbycombiningbasicones.However，therearesomeissuesrelatedtoWebservicecomposition，inparticularitscom-patibilityverificationo

4、fserviceswithinteractions.Tothisend，thispaperformallymodelstheWebservicesinaeronauticalbookingdomain，andproposesamethodforverifyingthebehaviorcompatibilityofbookingservicesbyusinganimprovedPi-calculus-basedreasoning.Tovalidatetheproposedmethod，thispaperfurtherusestheMWBtoolt

5、odemonstratetheverifi-cationprocess.Keywords：Pi-Calculus；Webservicecomposition；compositionalcompatibility摘要：Web服务通过组合基本服务为解决复杂问题提供了方法，于是近年来越来越受到关注。当前交互式下的Web服务在实际组合中还存在诸多问题，其中就包括Web服务组合验证问题。运用Pi演算对航空订票业务的Web服务进行形式化建模，改进基于Pi演算的推理，提供一种验证多个Web服务组合是否兼容的方法。为证实该验证方法，进一步采用MWB工具展示了W

6、eb服务组合兼容性的验证过程。关键词：Pi演算；Web服务组合；组合兼容性DOI：10.3778/j.issn.1002-8331.2010.24.069文章编号：1002-8331（2010）24-0237-06文献标识码：Ａ中图分类号：TP3111引言数学理论基础等方面各不相同，但对于Web服务组合验证而Web服务是语义网的一个关键应用研究领域，它作为一言，其验证能力基本相当。然而，在使用的方便程度以及计算种新的分布式计算模型，能够在各种异构平台的基础上构筑复杂度方面还是存在差异。采用Petri网或者自动机对服务组一个通用的、与平台无关的、

7、与语言无关的技术层，使各种不合进行描述时，尽管较为直观，但在服务流程规模变大、服务同平台之上的应用方便地连接和集成[1]。然而，如何使Web服数量变多、服务间交互变复杂的情况下，往往会引起状态空间务真正进入实用的阶段，使Web服务实现跨组织、跨管理域的爆炸，因此，这两类方法的复杂度随着服务组合规模的增大而系统集成和自动交互，还面临着诸多的问题[2]，其中一个重要急剧增大[3]。与此相比，基于进程代数的方法由于采用了进程问题是Web服务组合兼容性验证问题。目前，很多的服务组表达式描述系统，其表达能力强而且形式更为简洁，加之进程合缺少对正确性的验证

8、，不能保证服务组合内部流程结构是代数特别是Pi演算中的行为理论对于Web服务组合验证提供否正确。一般而言，Web服务组合验证均基于某种形式化方了良好的