一种支持多种模型转换技术的组合方法
作者:
基金项目:

国家自然科学基金(60821003); 国家重点基础研究发展计划(973)(2011CB302604); 国家高技术研究发展计划(863)(2007AA01Z127, 2007AA010301); 北京市自然科学基金(4122036), 教育部留学回国人员科研启动基金


Approach to Compositing Multiple Model Transformation Techniques
Author:
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [25]
  • |
  • 相似文献
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    模型转换是模型驱动开发中的核心技术.为了解决复杂的转换问题,需要将多个相对简单的转换组合起来构成组合转换.目前存在多种转换技术,它们之间存在异构性,阻碍了组合转换的实现.首先分析实现组合转换的必要条件,进而提出一个组合转换模型,其中主要包括公共类型表示、公共模型表示、公共转换描述和组合转换定义语言等部分,用以实现支持多种转换技术的组合.另外,还介绍了一个组合转换平台的设计与实现,并通过一个案例说明所提方法及工具的可行性.

    Abstract:

    Model transformation is the key technique of model driven development. To handle difficult problems, it is necessary to combine smaller transformations into a complex one. Due to the heterogeneity among different transformation techniques, it is difficult to combine them together. The paper analyzes four essential conditions for composite transformations. Next, the paper proposes a composite transformation model, which consists of common type representation, common model representation, common transformation description, and composite transformation definition, in order to realize composite transformations. The paper also introduces the design and implementation of a transformation composition framework. A case study is also presented to illustrate the feasibility of this approach.

    参考文献
    [1] Miller J, Mukerji J. MDA guide. Formal/2007-11-02. 2003. http://www.omg.org/docs/omg/03-06-01.pdf
    [2] Ehrig H, Engels G, Kreowski HJ, Rozenberg G. Handbook of graph grammars and computing by graph transformation: Applications, languages and tools. Singapore: World Scientific Publishing Company, 1999.
    [3] Giese H, Wagner R. Incremental model synchronization with triple graph grammars. Lecture Notes in Computer Science, 2006, 4199:543?557. [doi: 10.1007/11880240_38]
    [4] Taentzer G. AGG: A graph transformation environment for modeling and validation of software. Lecture Notes in Computer Science, 2004,3062:446?453. [doi: 10.1007/978-3-540-25959-6_35]
    [5] OMG. Meta object facility (MOF) core specification 2.0. Formal/06-01-01. 2006. http://www.omg.org/spec/MOF/2.0/PDF/
    [6] OMG. Meta object facility (MOF) 2.0 query/view/transformation specification. Formal/2008-04-03. 2008. http://www.omg.org/ spec/QVT/1.0/PDF/
    [7] Jouault F, Kurtev I. Transforming models with ATL. Lecture Notes in Computer Science, 2006,3844:128?138. [doi: 10.1007/ 11663430_14]
    [8] OMG. MOF model to text transformation language, Version 1.0. Formal/2008-01-16. 2008. http://www.omg.org/spec/MOFM2T/ 1.0/
    [9] Czarnecki K, Helsen S. Classification of model transformation approaches. In: Proc. of the OOPSLA 2003 Workshop on Generative Techniques in the Context of MDA. Anaheim: ACM, 2003. http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1. 122.8124
    [10] Liu H, Ma ZY, Shao WZ. Graph transformation based description language for model refactorings. Journal of Software, 2009,20(8): 2087?2101 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/3469.htm [doi: 10.3724/SP.J.1001.2009.03469]
    [11] ATL Project. ATL transformation zoo. http://www.eclipse.org/m2m/atl/atlTransformations/
    [12] OMG. Object constraint language. Formal/06-05-01. 2006. http://www.omg.org/spec/OCL/2.0/PDF
    [13] Steel J, Jézéquel JM. On model typing. Software and System Modeling, 2007,6(4):401?413. [doi: 10.1007/s10270-006-0036-6]
    [14] IBM. http://www.ibm.com/developerworks/rational/library/05/503_sebas/, 2012-3-7
    [15] Kleppe A. MCC: A model transformation environment. Lecture Notes in Computer Science, 2006,4066:173?187. [doi: 10.1007/ 11787044_14]
    [16] Marvie R. A transformation composition framework for model driven engineering. LIFL-2004-10, LIFL, 2004.
    [17] Vanhooff B, Ayed D, Baelen SV, Joosen W, Berbers Y. UniTI: A unified transformation infrastructure. Lecture Notes in Computer Science, 2007,4735:31?45. [doi: 10.1007/978-3-540-75209-7_3]
    [18] ATL Flow project. http://opensource.urszeidler.de/ATLflow/
    [19] Rivera JE, Ruiz-González D, López-Romero F, Bautista J, Vallecillo A. Orchestrating ATL model transformations. In: Proc. of the 1st Int’l Workshop on Model Transformation with ATL. 2009. 34?46. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1. 160.9313
    [20] OMG. OMG unified modeling language (OMG UML), superstructure, V2.1.2. Formal/2007-11-02. 2007. http://www.omg.org/spec/ UML/2.1.2/Superstructure/PDF/
    [21] Weisem?ller I, Klar F, Schürr A. 16 development of tool extensions with MOFLON. Lecture Notes in Computer Science, 2011,6100:337?343. [doi: 10.1007/978-3-642-16277-0_16]
    [22] Acceleo project. http://www.eclipse.org/acceleo/
    [23] EMF project. http://www.eclipse.org/modeling/emf/
    [24] Ma ZY, Liu H, He X, Zhang L, Ji Z, Ge M. Research and design of a meta-modeling platform for model-driven development. Chinese Journal of Electronics, 2008,36(4):731?736 (in Chinese with English abstract).
    [25] Ma ZY, He X, Kang LH. A model driven development platform for service-oriented applications. In: Proc. of the 2009 World Conf. on Services—II. Los Alamitos: IEEE Computer Society, 2009. 17?24. [doi: 10.1109/SERVICES-2.2009.14]
    相似文献
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

何啸,麻志毅,冯超,邵维忠.一种支持多种模型转换技术的组合方法.软件学报,2012,23(4):816-830

复制
相关视频

分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2010-11-12
  • 最后修改日期:2011-01-24
  • 在线发布日期: 2012-03-28
文章二维码
您是第19920949位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号