文件名称：基于NuSMV的Web服务失配限界模型检测 (2011年)
文件大小：713KB
文件格式：PDF
更新时间：2024-06-18 01:06:38
自然科学 论文
目前,Web服务组合已成为Web服务领域的研究热点,Web服务失配检测是保证服务正常组合的基础。当服务模型状态数较大时,现有的失配检测方法将面临状态空间爆炸问题,本文采用限界模型检测技术,提出一种基于NuSMV的Web服务失配检测方法。该方法能够有效地处理服务模型状态数较大时的情形,并且能够实现在异步通信模式下进行Web服务失配的自动化检测。最后通过实验说明了该方法的可行性。