软件体系结构设计的建模和分析，在软件开发生命周期的早期阶段对安全性能进行建模和分析，使得安全缺陷能够...

为保证软件非功能属性的自动化分析，为软件体系结构建立形式化设计和分析框架