面向服务的可信软件体系结构代数模型  

An Algebraic Model of Service Oriented Trustworthy Software Architecture

作　　者：赵会群[1] 孙晶[1] 

机构地区：[1]北方工业大学计算机系,北京100144

出　　处：《计算机学报》2010年第5期890-899,共10页Chinese Journal of Computers

基　　金：国家"八六三"高技术研究发展计划项目基金(2007AA010302);北京市属高等学校人才强教深化计划学术创新团队建设计划;北京市教委科研计划项目基金(KM200710009009)资助~~

摘　　要：针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件"运算"实现,并结合进程代数中算子概念,定义了多种服务组合运算,从而建立SOA的代数模型.在代数模型基础上,进一步对SOA可信属性建模,提出多种SOA可信范式,为可信SOA软件设计提供理论支持.最后介绍了一个应用案例.This paper focuses on the lacks at methodology of describing formal model and trustworthy attributes of the Service Oriented Architecture （SOA in short）, abstracts and describes the attributes and the behaviors of Service, Service combination and SOA by algebraic method. By understanding the Service Combination as operation, that is a new ideal, and extending the calculus in Process Algebraic, some Service combination operators are defined and then a formal algebraic model of SOA is proposed. Based this model some trustworthy attributes are analyzed and a few Trustworthy Normal Formats is proposed. All above viewpoints construct theoretical footstone for designing trustworthy SOA. At last a case study is introduced to explain how the above algebraic model can be used.

关 键 词：服务 服务组合 服务体系结构 抽象代数 进程代数 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]