一种SOA软件系统可信性评价方法研究
结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义;证明可信范式下SOA软件系统的Markov特性,提出SOA软件系统的综合可信性评价模型.通过一个案例解释SOA软件系统可信性模型的应用.最后通过与同类研究比较,总结本文的特点和贡献.
面向服务的体系结构、软件可信性评价、半Markov模型
33
TP311(计算技术、计算机技术)
国家自然科学基金61070030;北京市属高校学术创新团队建设计划项目
2011-01-28(万方平台首次上网日期,不代表论文的发表时间)
共9页
2202-2210