Breeze:软件架构建模与分析

时间:2024-07-06 10:29:01
【文件属性】:

文件名称:Breeze:软件架构建模与分析

文件大小:12.74MB

文件格式:ZIP

更新时间:2024-07-06 10:29:01

Java

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


网友评论