苏州大学学报（自然科学版）
囌州大學學報（自然科學版）
소주대학학보（자연과학판）
JOURNAL OF SUZHOU UNIVERSITY(NATURAL SCIENCE)
2011年
1期
32-38
,共7页
限界模型检测%Web服务%服务失配%NuSMV
限界模型檢測%Web服務%服務失配%NuSMV
한계모형검측%Web복무%복무실배%NuSMV
目前,Web服务组合已成为Web服务领域的研究热点,Web服务失配检测是保证服务正常组合的基础.当服务模型状态数较大时,现有的失配检测方法将面临状态空间爆炸问题,本文采用限界模型检测技术,提出一种基于NuSMV的Web服务失配检测方法.该方法能够有效地处理服务模型状态数较大时的情形,并且能够实现在异步通信模式下进行Web服务失配的自动化检测.最后通过实验说明了该方法的可行性.
目前,Web服務組閤已成為Web服務領域的研究熱點,Web服務失配檢測是保證服務正常組閤的基礎.噹服務模型狀態數較大時,現有的失配檢測方法將麵臨狀態空間爆炸問題,本文採用限界模型檢測技術,提齣一種基于NuSMV的Web服務失配檢測方法.該方法能夠有效地處理服務模型狀態數較大時的情形,併且能夠實現在異步通信模式下進行Web服務失配的自動化檢測.最後通過實驗說明瞭該方法的可行性.
목전,Web복무조합이성위Web복무영역적연구열점,Web복무실배검측시보증복무정상조합적기출.당복무모형상태수교대시,현유적실배검측방법장면림상태공간폭작문제,본문채용한계모형검측기술,제출일충기우NuSMV적Web복무실배검측방법.해방법능구유효지처리복무모형상태수교대시적정형,병차능구실현재이보통신모식하진행Web복무실배적자동화검측.최후통과실험설명료해방법적가행성.
