广义随机Petri网下的组合Web服务建模与评价.pdfVIP

第42卷第8期 西安 交通大 学 学报 V01．42№8 7 OFXIANIAOTONGUNIVERSITY 2008年8月 J()URNAL J Aug．2008 门鹏，段振华 (西安电子科技大学计算机学院，710071，西安) 析、验证以及评估的方法．首先给出从()WL-S过程模型到GSPN的映射规则和转换方法，然后针 对得到的GSPN模型，采用S一不变量、l不变量，通过可达性等分析方法验证OWL_S过程模型 的正确性，最后构造与GSPN同构的马尔可夫链，并根据其稳定状态概率进行系统性能评价．经数 学工具验证结果表明，所建模型是正确、可靠的，并发现了组合服务中的瓶颈．所提方法可支持组合 Web服务的重建、优化和决策． 关键词：语义Web服务标记语言；广义随机Petri网；组合Web服务；性能评价；形式化验证 文献标志码：A 中图分类号：TP391 文章编号：0253—987X(2008)08一0967一05 on andEValuationof WebSerVicesBased Modeling Composite GeneralizedStochasticPetriNet MEN Zhenhua Peng，DUAN (SchooIofComputer，XidianUniversity，Xi’an710071，Chim) Toensurethecorrectnessof servicesdescribedsemanticWebserv— Abstract： compositeWeb by ices to the ofthe Web markuplanguage(OWL—S)，andguaranteehighperformancecomposite services，a stochasticPetrinetbasedmethodis for verification generalized modeling， proposed andevaluationoftheOWL-S models．The rulesfromoWI，S mod— process transfoming process elsto stochasticPetri of net(GSPN)are generalized given．Theanalysis antand ofthePet“netare to soundnessofthe models．More— reachabi“ty usedverifythe process chainsofthemodelsare ofthe