摘要
针对面向服务体系结构(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.
出处
《计算机学报》
EI
CSCD
北大核心
2010年第5期890-899,共10页
Chinese Journal of Computers
基金
国家"八六三"高技术研究发展计划项目基金(2007AA010302)
北京市属高等学校人才强教深化计划学术创新团队建设计划
北京市教委科研计划项目基金(KM200710009009)资助~~
关键词
服务
服务组合
服务体系结构
抽象代数
进程代数
algebra service
service combination
service oriented architecture
abstract algebra
process
