搜索筛选:
搜索耗时3.6910秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者：陈圣标,
来源：苏州大学 年份：2011
面向服务的体系结构(SOA)作为一种新的软件开发范型,正逐步成为未来软件发展的趋势之一,而其主流的实现方式Web服务技术也得到了快速的发展与应用。由于单个Web服务提供的功...
[期刊论文] 作者：陈圣标,吴剑峰,张广泉,,
来源：苏州大学学报(自然科学版) 年份：2011
目前,Web服务组合已成为Web服务领域的研究热点,Web服务失配检测是保证服务正常组合的基础.当服务模型状态数较大时,现有的失配检测方法将面临状态空间爆炸问题,本文采用限界...
[期刊论文] 作者：戎玫,陈圣标,张广泉,
来源：计算机科学 年份：2012
在Web服务组合过程中,常因交互协议不一致等导致服务失配;Web服务失配检测可准确捕捉失配点,为实现服务的有效组合奠定基础。采用限界模型检查技术,提出一种基于可满足性模理...
相关搜索：
