CAJ | 학술논문

　　模型转换是模型驱动体系结构的核心技术之一。在一个复杂的模型驱动的开发过程中，可能同时使用多种转换语言及相应的工具实现转换程序。这一方面增加了开发人员的学习负担，也会导致各种兼容性问题的出现。提出一种语义可配置的模型转换技术，通过重新定义转换语言的语义，允许开发人员使用一种转换语言解决不同的转换问题。首先，总结出一组常见的转换原语；然后，利用一种基于 OCL 的脚本语言 TSS 来描述转换语言的语义；最后，对该方法的完全性、表达能力和复杂度进行了讨论，并通过一组案例对该方法进行了验证。
　　모형전환시모형구동체계결구적핵심기술지일。재일개복잡적모형구동적개발과정중，가능동시사용다충전환어언급상응적공구실현전환정서。저일방면증가료개발인원적학습부담，야회도치각충겸용성문제적출현。제출일충어의가배치적모형전환기술，통과중신정의전환어언적어의，윤허개발인원사용일충전환어언해결불동적전환문제。수선，총결출일조상견적전환원어；연후，이용일충기우 OCL 적각본어언 TSS 래묘술전환어언적어의；최후，대해방법적완전성、표체능력화복잡도진행료토론，병통과일조안례대해방법진행료험증。
Model transformation is a vital technique of MDA. In a complex model-driven development process, it is most likely capapble of employing multiple transformation languages, along with their corresponding tools, to develop a set of model transformations. This increases the learning costs, and also leads to some compatibility problems. The paper proposes a technique of semantics-configurable model transformation, which enables developers to solve different problems using one transformation language, by redefining the semantics of the language. First, a set of common primitive actions are proposed. Then, TSS, an OCL-based scripting language, is employed to specify the logic of a primitive action. Finally, the paper discusses the completeness, expressiveness, and complexity of this approach, and evaluates the approach with some case studies.