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

被引：21

作者：

赵会群

孙晶

机构：

[1] 北方工业大学计算机系

来源：

计算机学报 | 2010年 / 33卷 / 05期

关键词：

服务; 服务组合; 服务体系结构; 抽象代数; 进程代数;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

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

引用

页码：890 / 899

页数：10

共 7 条

[1] 基于进程代数的Web服务合成的替换分析 [J].

刘方方 ;

史玉良 ;

张亮 ;

施伯乐 .

计算机学报, 2007, (11) :2033-2039

[2] 一种面向服务的体系结构参考模型 [J].

麻志毅 ;

陈泓婕 .

计算机学报, 2006, (07) :1011-1019

[3] 软件体系结构研究进展 [J].

梅宏 ;

申峻嵘 .

软件学报, 2006, (06) :1257-1275

[4] 一种面向服务的权限管理模型 [J].

朱磊 ;

周明辉 ;

刘天成 ;

梅宏 .

计算机学报, 2005, (04) :677-685

[5] 高可信软件工程技术 [J].

陈火旺 ;

王戟 ;

董威 .

电子学报, 2003, (S1) :1933-1938

[6] 软件体系结构抽象模型 [J].

赵会群 ;

王国仁 ;

高远 .

计算机学报, 2002, (07) :730-736

[7]

A secure software architecture descrip-tion language .2 Jie Ren,Taylor R N. Proceedings of the Workshop on Software Se-curity Assurance Tools,Techniques,and Metrics . 2006

← 1 →