语义关系与结构关系的区别是什么？（基于UML规范）

1. 语义关系（Semantic Relationships） #

• 语义关系聚焦于模型元素之间逻辑、行为层面的关联，描述元素在功能、规则或行为上的依赖、继承或实现关系，核心是表达元素之间的语义约束和逻辑联系。
• 在UML规范中，典型的语义关系包括：
  • 依赖（Dependency）：一个元素的变化会影响另一个元素的语义，比如类A使用类B的对象作为方法参数，A依赖于B。
  • 泛化（Generalization）：子类继承父类的语义，同时可以扩展或重写父类的行为，比如Dog泛化自Animal。
  • 实现（Realization）：一个元素（比如接口）的语义由另一个元素（比如类）来具体实现，比如PaymentService类实现IPayable接口。
• 这类关系不直接定义元素的静态结构，而是强调它们在逻辑行为上的绑定和约束。

2. 结构关系（Structural Relationships） #

• 结构关系关注模型元素之间的静态结构关联，描述元素在系统架构中的组成、连接或归属关系，核心是表达系统的静态结构和元素间的物理/逻辑连接。
• 在UML规范中，典型的结构关系包括：
  • 关联（Association）：元素之间的静态连接，描述实例之间的交互关系，比如Customer和Order之间的关联（一个客户有多个订单）。
  • 聚合（Aggregation）：一种特殊的关联，表示整体与部分的弱拥有关系，部分可以独立于整体存在，比如University和Department（部门可以脱离大学存在）。
  • 组合（Composition）：更强的整体-部分关系，部分不能脱离整体独立存在，比如Car和Engine（引擎不能脱离汽车单独存在）。
  • 嵌套（Nesting）：一个元素包含在另一个元素的命名空间内，比如类内部的嵌套类。
• 这类关系直接定义了系统的静态结构，是构建类图、组件图等结构型UML图的核心。

内容的提问来源于stack exchange，提问作者Wylie