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

• 作者: 孙晶 赵会群
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 服务 服务组合 服务体系结构 抽象代数 进程代数
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 890-899
• 分类号: TP311
• 字数: 10112字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2010.00890

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙晶	北方工业大学计算机系	54	408	9.0	19.0
2	赵会群	北方工业大学计算机系	79	920	14.0	28.0