设计复杂的软件系统需要精确性。当你依赖直觉而非明确的结构时，最终的架构往往在压力下失效。组合结构图（CSD）是一种专门的UML工具，旨在揭示分类器的内部组织。它详细说明了部件如何通过连接器、端口和接口进行交互。如果没有经过验证的结构，系统仍然只是猜测。
本指南超越了基本定义。它提供了一份细致的检查清单，以确保图中的每个元素都具有功能性作用。我们将深入探讨部件、角色、端口和连接。通过遵循这些步骤，您可以确保模型准确反映实际实现情况。
🏗️ 理解组合结构图的构成
在验证之前，必须先理解各个组件。组合结构图不仅仅是方框的集合。它是内部交互的蓝图。每一条绘制的线条都必须代表数据或控制的流动。每一个方框都必须代表一个可部署或逻辑上的单元。
📦 部件与内部节点
部件是基本的构建单元。它们代表复合结构中分类器的实例。与简单的关联链接不同，部件具有由复合对象管理的特定生命周期。它们不仅仅是连接，而是被包含在内。
- 部件定义： 每个部件都必须具有明确的类型。部件不能作为一个通用的、无具体形态的块存在。
- 所有权： 复合分类器拥有该部件。如果复合对象被销毁，部件的生命周期也随之结束，除非另有说明。
- 可见性： 部件可以是公共的、私有的或受保护的。这决定了外部对部件的访问权限。
🔌 端口与角色
端口是部件的交互点。它们定义了部件与外部世界或其他内部部件连接的位置。角色定义了部件在连接中所扮演的角色。
- 提供的接口： 端口可以提供服务。这通常以棒棒糖符号表示。
- 所需接口： 端口可以请求服务。这通常以插槽符号表示。
- 角色名称： 每个连接点都应具有角色名称，以明确关系。
🔗 连接器与绑定
连接器将端口连接在一起。它们代表通信的流动。绑定将端口与角色连接。这些是您架构中的物理或逻辑线路。
- 连接器类型： 这是数据流、信号还是控制消息？
- 方向性： 确保箭头方向与预期的数据流向一致。
- 多重性： 一个端口可以连接多个，还是仅能连接一个？
✅ 验证检查清单：确保结构完整性
验证是根据既定规则检查您工作的过程。它可以防止歧义。在设计阶段以及提交规范之前，请使用此检查清单。
1. 零件定义与类型化
确保每个内部组件都完全定义了类型。未定义类型的零件是一个无法正确测试或实现的黑箱。
- 检查：每个零件是否都有特定的类或接口类型？
- 检查：这些类型在模型的其他地方是否可重用？
- 检查：该零件的多重性是否已定义（例如：1，0..1，*）？
- 检查：零件是否在父复合体中正确嵌套？
2. 端口接口对齐
端口必须与它们所暴露或需要的接口相匹配。此处的不匹配会导致运行时错误。
- 检查：一个提供的端口是否定义了有效的提供接口？
- 检查：一个需要的端口是否定义了有效的所需接口？
- 检查：接口上的方法签名是否兼容？
- 检查：这些端口是否对它们打算使用的连接器可见？
3. 连接器逻辑与绑定
连接器定义了关系。它们必须在逻辑上合理。
- 检查：连接器的两端是否都有有效的端口？
- 检查：连接器的方向是否与接口契约一致？
- 检查：是否存在未连接到任何端口的悬空连接器？
- 检查：是否存在可能导致死锁的循环依赖？
4. 嵌套结构一致性
复合结构通常具有嵌套关系。一个部件可以包含其自身的子部件。这种层次结构必须清晰明确。
- 检查：嵌套的部件是否在边界内明确分组？
- 检查：嵌套关系是否暗示了拥有关系，还是仅仅表示包含关系？
- 检查：接口是否在正确的层级上暴露（内部 vs. 外部）？
- 检查：嵌套的深度是否对读者来说是可管理的？
📊 常见错误与修正
查看下面的表格有助于识别复合结构图中的常见陷阱。这些是经常出现的错误，会使图表无效。
| 问题 | 影响 | 修正 |
|---|---|---|
| 未指定类型的部件 | 实现上的模糊性 | 为每个部件分配一个具体的类类型。 |
| 断开连接的端口 | 设计中的死代码 | 删除未使用的端口，或将它们连接到有效的角色上。 |
| 接口不匹配 | 运行时失败 | 确保提供的接口和所需的接口签名一致。 |
| 多重性不明确 | 内存泄漏或错误 | 在所有部件上明确定义 1、0..1 或 *。 |
| 循环端口 | 死锁风险 | 通过引入中间组件来打破循环。 |
| 缺少角色 | 使用上的混淆 | 为所有连接器端点添加角色名称。 |
🔌 深入探讨：接口与角色
接口是组件所履行的契约。在组合结构图中，它们至关重要。它们定义了内部实现与外部使用之间的边界。
提供 vs. 需求
理解这一区别对于验证至关重要。一个组件可以提供另一个组件所需的功能。这是复合体的服务导向视角。
- 提供的接口： 该组件提供此服务。它是一种能力。
- 所需接口： 该组件需要此服务才能运行。它是一种依赖。
- 绑定： 所需端口与提供端口之间的连接。
角色名称
永远不要让连接器没有角色名称。没有角色名称的连接器就像一根没有标签的导线。它无法向开发者传达任何关于流量性质的信息。
- 示例： 不要使用一条线，而应使用“DataIn”和“DataOut”。
- 清晰性： 角色名称应为动词或清晰的名词。
- 一致性： 如果在其他地方使用了相同的连接类型，则应使用相同的角色名称。
🔒 封装与可见性
封装是一项核心原则。除非通过端口暴露，否则内部结构应被隐藏。验证涉及检查可见性修饰符。
- 公共组件： 可从复合体外部访问。应谨慎使用。
- 私有组件： 仅在复合体内部可访问。为安全起见的默认设置。
- 受保护的组件： 在复合体及子类中均可访问。
- 内部节点： 这些是零件的容器。确保它们不会被直接暴露。
📏 扩展性与维护
随着系统增长，图表也会随之增长。今天有效的图表必须在明天依然有效。考虑这些因素以确保长期维护。
分解
如果一个复合结构变得过大，应对其进行分解。不要将所有零件都放在一个图表中。应创建子复合结构。
- 阈值： 如果图表超过一个屏幕的大小，应将其拆分。
- 边界： 明确标记子复合结构的边界从何处开始。
- 引用： 使用对其他图表的引用以保持上下文。
版本控制
结构的任何变更都必须被追踪。对零件或连接器的每一次更改都会影响系统行为。
- 记录变更： 记录添加或移除某个零件的原因。
- 影响分析： 在更改端口之前，检查所有依赖的连接器。
- 向后兼容性： 确保新接口不会破坏现有的使用者。
🧩 与其他图表的集成
复合结构图并非孤立存在。它必须与类图、顺序图和部署图保持一致。
与类图的一致性
你CSD中的零件必须在你的类图中存在。每个零件类型都应有对应的类定义。
- 一致性： 验证属性和方法是否匹配。
- 实现： 确保类实现了CSD中显示的接口。
与顺序图的一致性
顺序图展示消息的流动。CSD展示支持该流动的结构。两者必须一致。
- 消息流：顺序图中的消息是否对应于CSD中的连接器？
- 部件存在性：顺序图中的所有参与者是否都存在于CSD中？
与部署图的一致性
部署图显示软件运行的位置，CSD显示软件内部的结构。两者必须一致。
- 部署：部件能否部署到部署图中显示的节点上？
- 依赖关系：运行时依赖是否与结构依赖匹配？
🛠️ 检查清单的实际应用
在实际项目中如何应用？请遵循此工作流程。
- 草拟图表：根据需求创建初始结构。
- 运行检查清单：逐一检查验证列表中的每一项。
- 识别缺口：注意任何缺失的类型、端口或连接器。
- 优化：更新图表以填补缺口。
- <同行评审：请同事使用相同的检查清单审查图表。
- 定稿：将图表标记为已验证并基线化。
🔍 案例研究：一个支付系统组件
考虑一个支付处理器。它需要一个读卡器、一个网关和一个验证器。
- 读卡器：需要与网关建立连接。提供数据。
- 网关： 需要连接到验证器。提供交易状态。
- 验证器： 提供验证服务。需要连接到网关。
验证检查：
- 所有部件是否都已定义类型？是（读卡器、网关、验证器）。
- 端口是否已定义？是（数据输入、数据输出、状态）。
- 接口是否匹配？是（网关提供状态，验证器需要状态）。
- 连接器是否清晰？是（线条标注了接口名称）。
如果其中任何一项缺失，系统都将无效。此逻辑适用于所有领域。
📝 关于图示有效性的最终思考
有效性不是一次性的检查，而是一个持续的过程。随着需求的变化，结构必须随之调整。检查清单确保这种调整保持合理。遵循这些标准，你构建的将不仅是一张图纸，更是工程成功的蓝图。
请记住，目标是清晰。如果利益相关者无法理解这张图，那么它就失败了。使用检查清单来确保清晰性。确保每个部件、端口和连接器都有存在的理由。这种严谨性将功能性架构与推测性设计区分开来。
从你的下一个模型开始应用这份检查清单。验证类型。检查接口。验证连接。你的系统会感谢你的严谨。