期刊文献+

一种针对模型转换的图形化建模语言 被引量:5

A Graphical Modeling Language for Model Transformations
下载PDF
导出
摘要 模型转换是模型驱动开发的核心操作,它通常被实现成一种特殊的程序.模型转换可以实现不同模型、模型和代码,以及模型和各种结构化文档之间的转换.随着模型驱动方法的发展,模型转换正在被运用到越来越复杂的问题上,从而导致越来越庞大的规模和越来越复杂的程序结构.为了更好地控制转换开发过程中的复杂性,需要一种图形化的建模语言,支持对转换程序的分析和设计.提出一种针对模型转换程序的可视化建模语言VisTML(the visual transformation modeling language).它包含7种不同的视图,每个视图都包含一组建模概念.这些概念覆盖了整个转换程序开发过程中(从需求到部署运行)的所有主要阶段,支持开发人员在不同的抽象层次基于不同视角刻画模型转换.用VisTML对转换程序进行建模,有助于控制其复杂性,并促进开发人员的相互沟通与分工合作.最后介绍了VisTML的支持工具TModeler,并且通过3个案例论证VisTML的可行性与有效性. Model transformations,the core operations within model-driven development,are usually realized as special kinds of programs.They can be used to achieve diverse conversions among models,codes,and even structural documents.With the rapid progress in model-driven methodology,model transformations are being applied to more and more complicated problems in industrial projects.As a result,they become large in scale and have complex structures.To handle the development complexity of large transformation,agraphical modeling language that can serve as a user-friendly notation for analyzing and designing transformations is required.This paper proposes VisTML(the visual transformation modeling language),a visual modeling language for model transformation programs.VisTML is comprised by seven diagrams,including goal diagram,transformation declaration diagram,model type diagram,rule diagram,composite transformation diagram,testing diagram,and configuration diagram,each of which includes a set of concepts derived from concrete transformation technologies.VisTML is able to cover all the major phases when a transformation is being developed.It supports developers to describe a transformation from various viewpoints at different abstraction level.Modeling a transformation using VisTML can help developers control the complexity and facilitate their communication.Then,the tool support of VisTML named TModeler is also presented.At last,three case studies are presented to demonstrate the feasibility and the effectiveness of VisTML.
出处 《计算机研究与发展》 EI CSCD 北大核心 2015年第9期2145-2162,共18页 Journal of Computer Research and Development
基金 国家"九七三"重点基础研究发展计划基金项目(2013CB329601) 国家自然科学基金项目(61300009 61272159) 中国博士后科学基金项目(2013M540050) 中央高校基本科研业务费专项资金资助项目(FRF-TP-14-040A2)
关键词 模型转换 转换模型 可视化建模语言 模型转换开发过程 模型驱动开发 model transformation transformation model visual modeling language development process of model transformation model-driven development
  • 相关文献

参考文献33

  • 1Schmidt D C. Modebdriven engineering [J]. IEEE Computer, 2006, 39(2): 25-31. 被引量:1
  • 2Guerra E, de Lara J, Kolovos D S, et al. Engineering model transformations with transML [J]. Software & Systems Modeling, 2013, 12(3) : 555-577. 被引量:1
  • 3Vanhooff B, Ayed D, Van Baelen S, et al. Uniti: A unified transformation infrastructure [G] //LNCS 4735: Proe of Model Driven Engineering Languages and Systems 2007. Berlin: Springer, 2007:31-45. 被引量:1
  • 4Kleppe A. MCC: A model transformation environment [G] //LNCS 4066: Proc of Model Driven Architecture- Foundations and Applications. Berlin: Springer, 2006 : 173- 187. 被引量:1
  • 5Rivera J E, Ruiz-Gonzalez D, Lopez-Romero F, et al. Orchestrating ATL model transformations [C]OL] //Proe of the 1st Int Workshop on Model Transformation with ATL (MtATL2009). 2009:34-46 [ 2014-03-07 ]. http:// docatlanmod, emn. fr]MtATL2009PresentationsJPreliminary Proceedings. pdf. 被引量:1
  • 6ATL Flow Team. ATL flow plugin [CP/OL]. [2014-03- 07]. http://opensouree, urszeidler, de/ATLflow. 被引量:1
  • 7何啸,麻志毅,冯超,邵维忠.一种支持多种模型转换技术的组合方法[J].软件学报,2012,23(4):816-830. 被引量:1
  • 8Sen S, Baudry B, Mottu J M. Automatic model generation strategies for model transformation testing [G] //LNCS 5563 : Proc of Theory and Practice of Model Transformations. Berlin: Springer, 2009:148-164. 被引量:1
  • 9Kolovos D S, Paige R F, Polack F A C. Model comparison: A foundation for model composition and model transformation testing [C] //Proe of the 2006 Int Workshop on Global Integrated Model Management. New York: ACM, 2006:13-20. 被引量:1
  • 10de Lara J, Guerra E. Formal support for QVT-Relations with colored Petri nets [G] //LNCS 5795: Model Driven Engineering Languages and Systems. Berlin: Springer, 2009:256-270. 被引量:1

二级参考文献44

  • 1王学斌,吴泉源,王怀民,史殿习.UML和SQL元模型间的关系型模型转换方法[J].南京大学学报(自然科学版),2005,41(z1):347-352. 被引量:1
  • 2蒋严冰,邢春晓.模型驱动的体系结构研究综述[J].南京大学学报(自然科学版),2005,41(z1):360-366. 被引量:4
  • 3麻志毅,马浩海,张能宾,劳卓鹏,朱志高.一个基于UML2.0的软件开发平台的研制[J].南京大学学报(自然科学版),2005,41(z1):374-381. 被引量:1
  • 4马浩海,麻志毅,吉哲,杨国东,张乐.元模型可度量性及度量方法研究[J].电子学报,2004,32(F12):211-214. 被引量:3
  • 5Miller J, Mukerji J. MDA guide. Formal/2007-11-02. 2003. http://www.omg.org/docs/omg/03-06-01 .pdf. 被引量:1
  • 6Ehrig H, Engels G, Kreowski H J, Rozenberg G. Handbook of graph grammars and computing by graph transformation: Applications, languages and tools. Singapore: World Scientific Publishing Company, 1999. 被引量:1
  • 7Giese H, Wagner R. Incremental model synchronization with triple graph grammars. Lecture Notes in Computer Science, 2006, 4199:543-557. [doi: 10.1007/11880240_38]. 被引量:1
  • 8Taentzer 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]. 被引量:1
  • 9OMG. Meta object facility (MOF) core specification 2.0. Formal/06-01-01. 2006. http://www.omg.org/spec/MOF/2.0/PDF/. 被引量:1
  • 10OMG. Meta object facility (MOF) 2.0 query/view/transformation specification. Formal/2008-04-03. 2008. http://www.omg.org/ spec/QVT/1.0/PDF/. 被引量:1

共引文献29

同被引文献18

引证文献5

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部