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

摘要：

针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件"运算"实现,并结合进程代数中算子概念,定义了多种服务组合运算,从而建立SOA的代数模型.在代数模型基础上,进一步对SOA可信属性建模,提出多种SOA可信范式,为可信SOA软件设计提供理论支持.最后介绍了一个应用案例.

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

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2010-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：890-899