排序方式： 共有3条查询结果，搜索用时 0 毫秒
1
1.
针对目前面向服务计算(SCO)模式中组合Web服务验证缺乏对时间等非功能属性验证的实际,基于本体理论,设计并实现了一种基于时间约束Petri网的Web服务时间模型定义方法.该方法考虑服务流与以往工作流的区别,在服务模型OWL-S基础上建立时间本体(Time Ontology),全面地刻画了服务的基本时间约束.扩展已有的PetIi网本体,增强其描述能力,使其能够描述服务数据及时间信息,并定义了在OWL-S上定义的时间本体与Pe-tri网时间本体间的关系.根据模型检测理论,通过扩展OWL-API,将附加时间属性的OWL-S的服务描述本体转换为Petri网的标准格式PNML文件,建立起扩展时间属性的Web服务模型与形式化模型时间约束PetIi网(TCPN)间的映射关系.该方法很好地描述了服务时间约束,为后续的基于TCPN的服务时间形式化验证打下了坚定的基础. 相似文献
2.
面向服务的软件可靠性探讨 总被引：1，自引：0，他引：1
面向服务的体系结构(SOA)具有动态与协同的本质特点,这给软件可靠性研究与实践提出了新的挑战,从而产生了面向服务的软件可靠性(SOSR)这一新的研究领域.本文首先对SOSR的发展背景和研究现状进行了综述;然后从可靠性建模和可靠性评估两个方面归纳出SOSR当前所面临的主要问题;最后,以传统基于体系结构的软件可靠性模型为基础,探讨了由单个服务、服务池和服务组舍三个层次迭加而成的SOSR建模与评估框架,以及服务可靠性建模方法、服务池容错机制和服务在线监测等关键技术. 相似文献
3.
Web服务的模型检测技术探讨 总被引：1，自引：0，他引：1
从模型检测的基本概念出发,针对目前面向服务计算模式中,组合Web服务验证确认过程存在的问题,着重讨论了模型检测应用于Web服务验证中的关键技术,例如如何验证动态绑定服务的可信性,如何克服服务组合过程中的复杂性和不确定性;比较全面地总结并比较了几种具有代表性的对Web服务进行验证和确认的模型检测技术和相关工具;并探讨了应用于Web服务验证框架的模型检测技术研究中存在的一些问题及相应的解决方案. 相似文献
1