文献类型：期刊文章

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

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

出　　处：《计算机学报》

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

年　　份：2010

卷　　号：33

期　　号：5

起止页码：890-899

语　　种：中文

收录情况：BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20102613032236)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

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

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

分 类 号：TP311]