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

Modeling security software architecture based on process algebra

分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩展基于进程代数的软件体系结构描述语言,通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结构安全建模。通过一个例子介绍了这种建模方法。

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.