Breeze:软件架构建模与分析

【文件属性】：
文件名称：Breeze:软件架构建模与分析
文件大小：12.74MB
文件格式：ZIP
更新时间：2021-06-16 16:42:21
Java 介绍 Breeze 是一个基于 Eclipse 框架的软件架构（SA）的可编辑、可视化、规则支持的建模工具，它为架构设计者提供多视图来创建、编辑和验证系统的 SA。 Breeze 基于我们组[引文]提出的 Breeze/ADL，可应用于大型、复杂的软件系统。 根据 Breeze/ADL 定义，Breeze 可以捕获静态架构规范和动态重新配置。 Breeze 提供符号特征来模拟典型的 SA 元素（例如，组件、连接器和链接）。 基于此，可以验证和约束 SA 的样式（例如，CS）。 此外，Breeze 能够对架构进行非功能属性分析，包括可靠性分析、安全性分析和正确性分析。 Breeze 还支持生产定义来指定架构演进。 产生式源自图转换中的图重写规则。 一个作品分为两部分，即左手边（LHS）和右手边（RHS）。 LHS 表示前提条件，RHS 表示结果。 如果存在满足 LHS 定义的架构规范，那么