13、软件架构设计与可视化网络工程探索

软件架构设计与可视化网络工程探索

1. 软件架构设计方法

1.1 基于图语法形式主义的方法

基于图语法形式主义，有一种用于软件架构定义、验证和转换的方法。通过该方法，UML 符号能轻松转换为 RGG 形式主义采用的图形符号，这种一致性使该方法与当前设计工具相契合。此方法具有以下优点：
- 一致性 ：以“框和线”绘图的方式表达软件架构，符合软件工程师的常见实践。
- 可扩展性 ：底层的图语法形式主义适用于各类图，通过扩展图模式和修改相应语法规则，能轻松容纳新组件，支持软件复用。
- 自动化 ：由像 VisPro 这样的可视化语言生成器自动生成的转换工具，可对软件架构进行语法检查，还能自动从一种架构风格转换到另一种，帮助软件工程师在新应用环境中复用现有产品。

1.2 语法方法的优势

语法方法为软件架构的规范提供了一种直观且正式的方法。图语法用于定义架构风格，对组件间的交互施加约束。凭借完善的理论基础，该方法可通过解析自动验证用户定义软件架构的结构完整性并揭示其层次结构。

1.3 图转换工具的作用

图转换工具可被视为一种创作语言生成器，能按需生成特定的设计环境。不懂图语法的软件工程师也能使用生成的环境，通过绘制图形结构来设计软件架构，且环境内可自动进行语法检查。

2. 相关工作对比

2.1 现有架构描述语言（ADLs）

许多 ADLs，如 Wright 和 Rapide，基于形式模型，允许用户明确地定义软件