| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 面向服务的可信软件体系结构代数模型 |
| 作者 | 赵会群 孙晶 |
| 作者单位 | (北方工业大学计算机系 北京 100144) |
| 发表年份 | 2010 |
| 发表月份 | 5期(890—899) |
| 文章摘要 | 摘要 针对面向服务体系结构(Service Oriented Architecture，SOA)在形式化和可信属性建模方面的不足，用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象，把服务组合解释成组件“运算”实现，并结合进程代数中算子概念，定义了多种服务组合运算，从而建立SOA的代数模型.在代数模型基础上，进一步对SOA可信属性建模，提出多种SOA可信范式，为可信SOA软件设计提供理论支持.最后介绍了一个应用案例. 关键词 服务；服务组合；服务体系结构；抽象代数；进程代数 中图法分类号 TP311 DOI号: 10.3724/SP.J.1016.2010.00890 |