计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2004年
3期
1-3
,共3页
平台无关模型%平台特定模型%统一建模语言%(E-)LOTOS%模型转换%互操作
平檯無關模型%平檯特定模型%統一建模語言%(E-)LOTOS%模型轉換%互操作
평태무관모형%평태특정모형%통일건모어언%(E-)LOTOS%모형전환%호조작
基于在MDA中PIM到PSM的模型转换实现,提出了用UML描述PIM的一种有效性补充(E-)LOTOS,试图达到在模型映射前实现对模型的有效逻辑验证;对模型转换的基础理论进行了探索,分析了目前在MDA中实现从PIM到PSM模型转换的主要途径和困难;最后展望了模型转换的实现前景.
基于在MDA中PIM到PSM的模型轉換實現,提齣瞭用UML描述PIM的一種有效性補充(E-)LOTOS,試圖達到在模型映射前實現對模型的有效邏輯驗證;對模型轉換的基礎理論進行瞭探索,分析瞭目前在MDA中實現從PIM到PSM模型轉換的主要途徑和睏難;最後展望瞭模型轉換的實現前景.
기우재MDA중PIM도PSM적모형전환실현,제출료용UML묘술PIM적일충유효성보충(E-)LOTOS,시도체도재모형영사전실현대모형적유효라집험증;대모형전환적기출이론진행료탐색,분석료목전재MDA중실현종PIM도PSM모형전환적주요도경화곤난;최후전망료모형전환적실현전경.
