Web服务组合中非确定性特征交互的Petri网检测.pdfVIP

维普资讯 第27卷 第6期 桂 林 电子 科 技 大 学 学 报 Vol_27，No．6 2007年12月 JournM ofGuilinUniversityofElectronicTechnology Dec．2007 Web服务组合中非确定性特征交互的Petri网检测 冯 良炳 ，古天龙 (桂林 电子科技大学 计算机与控制学院 ，广西 桂林 541004) 摘 要：针对Web服务组合中出现的非确定性特征交互的检测问题，采用有色Token表示服务特征信息，建立了 web服务组合的有色Petri网模型。并在此模型的基础上 ，对非确定性特征交互问题进行了形式化定义。根据 问题 的规模不同，利用有色Petri网的可达树穷尽搜索法和P一不变量法，设计了两个Web服务组合的非确定性特征交 互的检测算法。仿真结果表明，这两个算法在不同问题规模中是正确、有效的。 关键词 ：Web服务组合 ；Petri网；特征交互；非确定性 中图分类号：TP31 文献标识码：A 文章编号 ：1673—808X(2007)06—0468—06 A Petri-netbased approach fordetectingthe non-determinism featureinteractionsinweb servicescomposition FEN G Liang—bing，GU Tian—long (SchoolofComputerScienceandControl，GuilinUniversityofElectronicTechnology，Guilin541004，China) Abstract：Inordertodetectthenon—determinism featureinteractionsin web servicescomposition，acoloredPetri netmodelforwebservicescomposition isproposed．Inthismodel，theinformationoffeatureinteractionsisrepre— sentedbycoloredToken．Basedonthisscheme，thenon—determinism featureinteractionsareformalized．Tohan— diedifferentscaleproblems，twodetectingalgorithmsfornon—determinism featureinteraction in W eb services compositionaredesignedwheretheexhaustivesearchmethodofreachabilitytreeandthemethodofP—Invariantare utilized．Thesimulationsshow thatthesetwoalgorithmsarecorrectandeffectiveinhandlingdifferentscaleprob— lems． Keywords：webservicescomposition；Petrinet；featureinteraction；non—determinism Web服务的特征就是Web服务可观测、相对独 的非确定性 问题 。 立的行为或特性，一个Web服务可 以有一个或者几 目前，对于Web服务组合特征交互问题的研究 个特征[1]。如一个电子付款服务具有 自动付款特征， 已经取得一些进展。文献Ezl中第一次提出Web服务