检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]武汉大学软件工程国家重点实验室,武汉430072
出 处:《计算机工程》2004年第3期1-3,共3页Computer Engineering
摘 要:基于在MDA中PIM到PSM的模型转换实现,提出了用UML描述PIM的一种有效性补充(E-)LOTOS,试图达到在模型映射前实现模型的有效逻辑验证;对模型转换的基础理论进行了探索,分析了目前在MDA中实现从PIM到PSM模型转换的主要途径和困难;最后展望模型转换的实现前景。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.
关 键 词:平台无关模型 平台特定模型 统一建模语言 (E-)LOTOS 模型转换 互操作
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.147