一种模型转换的编织框架
作者:
基金项目:

Supported by the National Natural Science Foundation ofChina under Grant No.90412011(国家自然科学基金);the National Grand Fundamental Research 973 Program of China under Grant No.2005cb321800(国家重点基础研究发展规划(973));the Program for Changjiang Scholars andInnovative Research Teamin University of China under Grant No.IRT0446(教育部创新团队)

  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [27]
  • |
  • 相似文献
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    模型转换是MDA(model driven architecture)的核心技术之一,也是目前MDA研究的热点.目前,MDA范畴内存在多种模型转换方法和工具,它们之间的异构性造成了模型转换代码重用的困难,并使学习和使用模型转换方法的成本增加.受到模型编织技术的启发,提出了一种基于QVT(model query/view/transformation)规范的模型转换编织框架QMTW(QVT-based model transformation weaving framework)来解决以上缺点.展示了模型转换编织的概念、语义、元模型和语法,以及到目标语言的转换定义,并以一个具体实例说明了本框架的使用方法和优点.QMTW提高了模型转换的抽象层次,统一了多种模型转换语言,并支持OMG最新的模型转换规范,在一定程度上消除了模型转换技术的异构性,同时具有简单、规范、扩展性强3个优点.

    Abstract:

    Model transformations are the core and research focus of MDA(model driven architecture). Nowadays, there are many model transformation approaches and tools, and the heterogeneity of them causes that the model transformation code can’t be reused easily and the cost of studying and using model transformation increases. To eliminate these shortcomings, inspired by model weaving technique, this paper proposes a QVT(model query/view/transformation)-based model transformation weaving framework named QMTW(QVT-based model transformation weaving framework). The conception, semantics, metamodel and syntax of QMTW added with a mapping from itself to the QVT Relation language are subscribed. A study case is provided to show how developers can use and take advantage of QMTW. The approach promotes the abstraction layer of model transformations, unites other model transformation languages, and supports QVT specification. So it eliminates the heterogeneity of model transformation partly. It is simple, specification-based and extensible.

    参考文献
    [1]OMG.MDA guide version 1.0.1.2003.http://www.omg.org/cgi-bin/apps/doc?formal/03-06-01.pdf
    [2]Sun CA,Jin MZ,Liu C.Overviews on software architecture research.Journal of Software,2002,13(7):1228-1237.(in Chinese with English abstract) http://www.jos.org.cn/1000-9825/13/1228.htm
    [3]Jouault F,Kurtev I.Transforming models with ATL.In:Bruel JM,ed.Proc.of the Model Trans.in Practice Workshop at MoDELS.LNCS 3844,Jamaica:Springer-Verlag,2005.
    [4]Silaghi R,Fondement F,Strohmeier A."Weaving" MTL model transformations.In:Proc.of the 2nd Int'l Workshop on Model Driven Architecture,Foundations and Applications (MDAFA).Sweden:Springer-Verlag 2004.123-138.
    [5]OMG.MOF 2.0 query/views/transformations RFP.OMG document ad/2002-04-10,2002.http://www.omg.org/docs/ad/02-04-10.pdf
    [6]OMG.A review of OMG MOF 2.0 query/views/transformations submissions and recommendations towards the final standard.OMG Document:ad/03-08-02,2003.http://www.omg.org/docs/ad/03-08-02.pdf
    [7]OMG.Revised submission for MOF 2.0 query/view/transformations RFP (ad/2002-04-10).OMG Document ad/2005-07-01,2005.http://www.omg.org/docs/ad/05-07-01.pdf
    [8]Marcos DDF,Jean B,Frédéric J,Erwan B,Guillaume G.AMW:A generic model weaver.In:Proc.of the lères Journées surl 'Ingénierie Dirigée par les Modèles.2005.http://www.sciences.univ-nantes.fr/lina/atl/www/papers/IDM_2005_weaver.pdf
    [9]Fabro MDD,Jouault F.Model transformation and weaving in the AMMA platform.In:Proc.of the Generative and Trans.Techniques in Software Engineering (GTTSE 2005).2005.71-77.http://www.sciences.univ-nantes.fr/lina/atl/www/papers/CR_2005_GTTSE_transfo_weaving.pdf
    [10]OMG.Meta object facility (MOF) specification,version 1.4.OMG Document formal/2002-04-03,2002.http://www.omg.org/docs/formal/02-04-03.pdf
    [11]OMG.UML 2.0 OCL specification.OMG Document ptc/03-10-14,2003.http://www.omg.org/docs/ptc/03-10-14.pdf
    [12]David K,Stuart A.A relational approach to defining transformations in a metamodel.In:Hussmann H,Jézéquel JM,Cook S,eds.UML 2002-The Unified Modeling Language 5th Int'l Conf.LNCS 2460,Dresden:Springer-Verlag,2002,243-258.
    [13]Braun P,Marschall F.BOTL the Bidirectional Object Oriented Transformation Language.TUM-I0307:Technische UniversitatMünchen,2003.
    [14]Shane S.Combining generative and graph transformation techniques for model transformation:An effective alliance? In:Proc.of the 2nd OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture.Anaheim:ACM Press,2003.http://cui.unige.ch/~sendall/files/sendall-mda-workshop-OOPSLA03.pdf
    [15]Karsai G,Agrawal A.Graph transformations in OMG's model-driven architecture.In:LNCS vol.on Applications of Graph Trans.with Industrial Relevance.Springer-Verlag,2003.
    [16]Jouault F,Kurtev I.On the architectural alignment of ATL and QVT.In:Proc.of the ACM Symp.on Applied Computing (SAC2006).Dijon:ACM Press,2006.
    [17]Milewski M,Roberts G.The model weaving description language (MWDL)-Towards a formal aspect oriented language for MDA model transformations.In:Proc.of the 1st Workshop on Models and Aspects-Handling Crosscutting Concerns in MDSD At the 19th European Conf.on Object-Oriented Programming.2005.http://www.st.informatik.tu-darmstadt.de:8080/ecoop2005/maw/acceptedPapers/Milew ski.doc
    [18]Jiang YB,Xing CX.The state of art and roadmap of MDA.Journal of Nanjing University,2005,41(10):360-366 (in Chinese with English abstract).
    [19]Ma ZY,Ma HH,Zhang NB,Lao ZP,Zhu ZG.Development of the software development platform based on UML2.0.Journal of Nanjing University,2005,41(10):374-381 (in Chinese with English abstract).
    [20]Wang XB,Wu QY,Wang HM,Shi DX.A relational model transformation approach between UML metamodel and SQL metamodel.Journal of Nanj ing University,2005,41 (10):347-352 (in Chinese with English ab stract).
    [21]Zhang W,Mei H,Zhao HY,Yang J.Transformation from CIM to PIM:A feature-oriented component-based approach.In:Williams L,Clay B,eds.Proc.of the MoDELS.LNCS 3713,Jamaica:Springer-Verlag.2005.248-263.
    [2]孙昌爱,金茂忠,刘超.软件体系结构研究综述.软件学报,2002,13(7):1228-1237.http://www.jos.org.cn/1000-9825/13/1228.htm
    [18]蒋炎冰,邢春晓.模型驱动的体系结构研究综述.南京大学学报,2005,41(10):360-366.
    [19]麻志毅,马浩海,张能宾,劳卓鹏,朱志高.一个基于UML2.0的软件开发平台的研制.南京大学学报,2005,41(10):374-381.
    [20]王学斌,吴泉源,王怀民,史殿习.南京大学学报,2005,41(10):347-352. [1]虽然目前仍存在UML和DSL之间的争论,但在通用建模领域,UML已成为事实上的标准.
    [2]本文中所指的QVT规范即这个联合修正案,在提交本文时,这个修正案还没有正式成为规范.
    [3]由于篇幅所限,本文没有详细列出XMI以及XML Schema.其代码可以在http://www.gfkd.org/blog/UploadFiles/2006-3/322549035.rar下载.元模型的XMI使用MagicDraw10.5来定义并去掉了其扩展部分.XML Schema使用hyperModel0.2生成并手动做了修改.
    相似文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

王学斌,王怀民,吴泉源,史殿习.一种模型转换的编织框架.软件学报,2006,17(6):1423-1435

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

京公网安备 11040202500063号