一种SOA软件系统可信性评价方法探究.pdfVIP

Ncsc 第一届全国服务计算学术会议lccF 20xo)ie文集 一种SOA软件系统可信性评价方法研究 赵会群 孙晶 北方工业大学计算机系北京100144 Email：zhaohq@ncut．edu．Cll 摘要：结合计算机系统可信性评价需求，研究基于SOA软件系统可信性评价方法．首先引,kSOA代数模型，给 出SOA软件可信范式，为从软件体系结构角度研究可信性评价问题奠定基础．给出soA软件元素(服务组件和服务组 性评价模型．通过一个案例解释SOA软件系统可信性模型的应用．最后通过与同类研究比较，总结本文的特点和贡 献． 关键字：面向服务的体系结构；软件可信性评价；半Markov模型 一、引言 法的信息泄露； · 完整性(integrity)：不会发生不适当 Oriented 所谓面向服务的体系结构(Service 修改信息的现象； Architecture简称SOA)是一种充分利用Intemet ● 技术，满足企业对不断增长的业务运营模式需求 和进入正常态的能力； 的应用框架，该模式需要具有灵活、安全和无逢 在上述属性中，有时把町用性、完整性和保 地处理异构、异质的内、外资源的能力IlJ。由于 密性综合考虑，统称为安全性(security)。计 SOA具有广泛的应用前景，所以mM、Microsoft、 算机系统可信性研究已有较长的历史，但主要集 Gartner等Irr领军企业先后提出了自己的解决方 中在可靠性和安全性研究方血。可靠性研究起步 案12J【3】141。一些国际标准化组织和研究机构也先 早、成果丰富，如计算机系统(软件和硬件)的 后提出了SOA参考模型，如OASIS(Organization 可靠性评价模型，提高计算机系统可靠性的容错 f．ortheAdvancementofStructuredInfo咖ation 技术和测试技术等fJOll¨I：而计算机系统的安全 Standards简称OASIS)提出的SOA参考模型 性研究主要表现在恶意软件的入侵防御，以及信 ServiceOrientedArchitecture 1．015J，OSOA(Open 息保密等环节1垃11nJ。显然，一}：述研究仅部分地 简称OSOA)提出的SOA编程模型SCA(Service 解决了计算机系统的可信性问题，对可信其他属 Architecture简称SCA)等[61。Web Component 性，以及系统综合可信性研究还有较大的研究空 Service作为一种新型网络信息服务技术，逐渐成 问。 为SOA软件开发的主要技术支撑之一I7。。在Web