基于进程代数的安全软件体系结构建模  

Modeling security software architecture based on process algebra

作　　者：甘厚勇[1] 毋国庆[1] 胡涌涛[1] 

机构地区：[1]武汉大学计算机学院,湖北武汉430072

出　　处：《计算机应用》2005年第12期2811-2813,共3页journal of Computer Applications

摘　　要：分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩展基于进程代数的软件体系结构描述语言,通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结构安全建模。通过一个例子介绍了这种建模方法。On the basis of analyzing the security of software architecture model based on process algebra, compatibility check and interoperability check were extended from single software architectures to architectural styles, and software architecture description language was expanded. Software architecture can be modeled not only through a family of sequential process algebras terms, but also through an invocation of a previously defined architectural type. This method was introduced through an example.

关 键 词：进程代数 软件体系结构描述语言 弱互模拟等价 体系结构风格 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]