摘要： 基于在MDA中PIM到PSM的模型转换实现,提出了用UML描述PIM的一种有效性补充(E-)LOTOS,试图达到在模型映射前实现模型的有效逻辑验证;对模型转换的基础理论进行了探索,分析了目前在MDA中实现从PIM到PSM模型转换的主要途径和困难;最后展望模型转换的实现前景。

关键词: 平台无关模型, 平台特定模型, 统一建模语言, (E-)LOTOS, 模型转换, 互操作

Abstract: Based on model transformation from PIM to PSM in MDA, this paper proposes an effective supplement for UML to describle PIM( platform-independent model), (E-)LOTOS, attempting to realize validation of the model logically before the model transformation. It analyzes the basic theorem of model thransformation, and points out the major method and difficulty in the transformation from PIM to PSM. Lastly, it takes a future look at the perspective of the model transformation.

中图分类号: 

• TP311.5