刘如娟
- 作品数：5 被引量：16H指数：3
- 供职机构：北京科技大学计算机与通信工程学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划北京市自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 数据驱动的SOA应用可靠性动态评估被引量：4
- 2009年
- 面向服务的体系结构(SOA)具有动态性与协同性,这使得传统的软件可靠性评估方法并不适于评估SOA应用的可靠性。该文提出了一种可靠性动态评估方法,其核心是由在线监测到的数据所驱动的服务组合可靠性模型。该模型通过自底向上的3个层次来分离目标系统的动态变化,即:服务可靠性的度量模型、服务池容错模型和基于Markov链的服务组合使用模型。经初步实例验证,该方法能够有效适应针对SOA应用进行全生命周期可靠性动态评估的需要。
- 王立军白晓颖陈以农周立柱刘如娟
- 关键词：可靠性
- 一种基于Ontology的WEB服务时间约束定义及验证方法被引量：1
- 2009年
- 针对目前面向服务计算(SOC)模式中组合Web服务验证缺乏对时间等非功能属性验证的实际,基于本体理论,设计并实现了一种基于时间约束Petri网的Web服务时间模型定义方法。该方法考虑服务流与以往工作流的区别,在服务模型OWL-S基础上建立时间本体(Time Ontology),全面地刻画了服务的基本时间约束。扩展已有的Petri网本体,增强其描述能力,使其能够描述服务数据及时间信息,并定义了在OWL-S上定义的时间本体与Pe-tri网时间本体间的关系。根据模型检测理论,通过扩展OWL-API,将附加时间属性的OWL-S的服务描述本体转换为Petri网的标准格式PNML文件,建立起扩展时间属性的Web服务模型与形式化模型时间约束Petri网(TCPN)间的映射关系。该方法很好地描述了服务时间约束,为后续的基于TCPN的服务时间形式化验证打下了坚定的基础。
- 刘如娟陈俊杰陈俊杰王立军
- 关键词：时间约束PETRI网
- Web服务的模型检测技术探讨被引量：7
- 2007年
- 从模型检测的基本概念出发,针对目前面向服务计算模式中,组合Web服务验证确认过程存在的问题,着重讨论了模型检测应用于Web服务验证中的关键技术,例如如何验证动态绑定服务的可信性,如何克服服务组合过程中的复杂性和不确定性;比较全面地总结并比较了几种具有代表性的对Web服务进行验证和确认的模型检测技术和相关工具;并探讨了应用于Web服务验证框架的模型检测技术研究中存在的一些问题及相应的解决方案.
- 刘如娟戴桂兰胡长军白晓颖
- Web服务非功能属性的模型验证
- 刘如娟
- 关键词：时间约束PETRI网
- 面向服务的软件可靠性探讨被引量：4
- 2009年
- 面向服务的体系结构(SOA)具有动态与协同的本质特点,这给软件可靠性研究与实践提出了新的挑战,从而产生了面向服务的软件可靠性(SOSR)这一新的研究领域.本文首先对SOSR的发展背景和研究现状进行了综述;然后从可靠性建模和可靠性评估两个方面归纳出SOSR当前所面临的主要问题;最后,以传统基于体系结构的软件可靠性模型为基础,探讨了由单个服务、服务池和服务组合三个层次迭加而成的SOSR建模与评估框架,以及服务可靠性建模方法、服务池容错机制和服务在线监测等关键技术.
- 王立军白晓颖刘如娟
- 关键词：可靠性评估
