29、UML到Ada的映射：全面解析与实践

UML到Ada的映射：全面解析与实践

1. 引言

统一建模语言（UML）如今是捕获面向对象系统设计的最常用语言，而Ada是一种标准化的编程语言，常用于开发安全关键应用。与大多数流行的面向对象编程语言（如C++和Java）不同，Ada不将类构造视为编译单元，这在将UML类映射到Ada时提供了很大的灵活性。本文将介绍如何将UML的大部分特性映射到Ada的一个大子集，并且展示如何从UML模型自动生成Ada包规范。

2. UML到Ada的默认映射

UML特性到Ada的默认映射如下：
| UML特性 | Ada映射 |
| ---- | ---- |
| 类 | 标记类型 |
| 包 | 目录或文件夹 |
| 属性 | 记录组件 |
| 操作 | 子程序 |
| 关联 | 记录组件 |
| 类依赖 | “with子句” |
| 参数化类 | 泛型包 |
| 特化关系 | 派生标记类型 |

例如，下面是一个UML类 Engine 的模型：

RPM
Engine
+ Mode : Engine_Mode
+ Stop()
+ Is_Stopped() : Boolean
1
+The_Rpm
1

默认情况下，这个 Engine 类映射到以下Ada代码：

with Rpm;
package Engine is