计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
1期
120-123
,共4页
王晶%戎玫%张广泉%祝义
王晶%戎玫%張廣泉%祝義
왕정%융매%장엄천%축의
Web服务组合%有限自动机%Markov模型%概率模型检测
Web服務組閤%有限自動機%Markov模型%概率模型檢測
Web복무조합%유한자동궤%Markov모형%개솔모형검측
Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义.为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法.首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证服务组合的可靠性,最后通过实例进一步说明该方法的可行性.
Web服務組閤驗證對提高軟件開髮效率、實現服務增值具有重要意義.為瞭驗證服務組閤的有效性,提齣瞭一種基于概率模型檢測的Web服務組閤驗證方法.首先採用擴展的有限自動機模型建立Web服務組閤模型,併將該模型轉換為Markov模型,然後採用概率模型檢測器PRISM驗證服務組閤的可靠性,最後通過實例進一步說明該方法的可行性.
Web복무조합험증대제고연건개발효솔、실현복무증치구유중요의의.위료험증복무조합적유효성,제출료일충기우개솔모형검측적Web복무조합험증방법.수선채용확전적유한자동궤모형건립Web복무조합모형,병장해모형전환위Markov모형,연후채용개솔모형검측기PRISM험증복무조합적가고성,최후통과실례진일보설명해방법적가행성.
