10.3969/j.issn.1000-1220.2007.11.001
Web服务的模型检测技术探讨
从模型检测的基本概念出发,针对目前面向服务计算模式中,组合Web服务验证确认过程存在的问题,着重讨论了模型检测应用于Web服务验证中的关键技术,例如如何验证动态绑定服务的可信性,如何克服服务组合过程中的复杂性和不确定性;比较全面地总结并比较了几种具有代表性的对Web服务进行验证和确认的模型检测技术和相关工具;并探讨了应用于Web服务验证框架的模型检测技术研究中存在的一些问题及相应的解决方案.
面向服务的计算、WEB服务规范、模型检测、服务验证
28
TP311(计算技术、计算机技术)
国家自然科学基金60603035
2007-12-24(万方平台首次上网日期,不代表论文的发表时间)
共7页
1921-1927