26、模型转换中的可追溯性链接与语言开发中的重构

模型转换中的可追溯性链接与语言开发中的重构

1. 可追溯性链接概述

可追溯性信息在软件开发生命周期中用于管理软件系统的各种工件。目前存在三种可追溯性方法：
- 需求驱动方法 ：描述需求规格说明到其后续部署和使用的可追溯性。
- 建模方法 ：主要侧重于在元模型级别为建模语言定义跟踪机制，例如特殊的跟踪关系。
- 转换方法 ：在模型转换期间，通过在源模型和目标模型元素之间创建跟踪链接，在源模型和目标模型之间执行跟踪过程。PUMA4SOA 使用转换方法在其三种建模语言（UML、CSM 和 LQN）的元素之间定义跟踪链接。

2. 相关工作中的转换方法

• 附加可追溯性生成代码 ：有人提出将可追溯性生成代码附加到现有的 ATL 程序的方法，该方法产生松散耦合的可追溯性，适用于任何类型的可追溯性范围和格式。
• 生成带注释的模型 ：通过将主模型与其定义的跟踪模型合并，生成包含可追溯性信息的带注释模型。生成的跟踪链接可以内部存储（嵌入目标模型作为新元素）或外部存储（单独存储在新模型中）。
• 可追溯性框架 ：有人提出了一个用 Kermeta 语言实现的可追溯性框架，用于促进建模转换。该框架使用跟踪元模型，允许在 Kermeta 中跟踪转换链。

3. 管理可追溯性信息复杂性的方法

有两种方法可用于管理模型驱动工程（MDE）中可追溯性