元建模技术研究进展
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant No.60473064 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant Nos.2007AA010301, 2005AA112030 (国家高技术研究发展计划(863)); the National Basic Research Program of China under Grant No.2005CB321805 (国家重点基础研究发展计划(973)); the Key Technologies R&D Program of China under Grant No.2003BA904B02 (国家科技攻关计划); the National Key Technology R&D Program of China under Grant No.2006BAH02A02 (国家科技支撑计划)

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

    随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多个领域,而不同的领域往往需要不同的建模语言及其建模工具.但是,手工地为不同的建模语言开发建模工具代价高昂.元建模技术是解决这个问题的方法之一,通过元建模,可以根据领域需要定制合适的元模型以定义领域建模语言,进而自动生成支持该建模语言的建模工具.大量的工程实践表明,与领域建模以及MDA相结合,元建模可以大幅度地提高软件开发效率,基于元建模的MDA比基于通用建模语言的MDA更具潜力.在最近的几年中,元建模及其相关技术发展迅猛,不但在技术上取得了长足的进步,而且在产业界也开始出现大规模的商业应用.总结了元建模的现有研究成果,分析和比较了现有元建模工具,探讨了元建模的可能发展方向.对元建模中存在的问题进行分析,并指出了可能的解决途径.

    Abstract:

    With the popularity of UML (unified modeling language) and MDA (model driven architecture), models are becoming the core artifacts of software development and maintenance. As a result, modeling languages and meta-models which are used to define modeling languages, become more and more important. Software development may cover quite a few domains, and different domains may require different modeling languages and their supporting modeling tools. But it is very expensive to develop modeling tools manually for every domain. Metamodeling is one of the technologies to facilitate the design of domain modeling languages and the development of modeling tools. In the approach of metamodeling, people design domain modeling languages according to domain request by metamodeling. And then, metamodeling tools automatically generate modeling tools, which support the designed domain modeling languages. As shown by experimental results, metamodeling, combined with MDA, can increase productivity of software development. This paper makes a survey of the current research on metamodeling, compare metamodeling tools, and discuss further directions of metamodeling and their supporting tools.

    参考文献
    [1]Object Management Group.UML 2.0 infrastructure specification.OMG Adopted Specification ptc/03-09-15.2003.
    [2]Object Management Group.UML2 superstructure final adopted specification.2003.
    [3]Object Management Group.MDA guide version 1.0.1.OMG/03-06-01.2003.
    [4]Shao WZ,Yang FQ.Object-Oriented System Design.2nd ed.,Beijing:Tsinghua University Press,2007 (in Chinese).
    [5]2007.http://www-306.ibm.com/software/awdtools/developer/rose/index.html
    [6]2007.http://www-306.ibm.com/software/awdtools/architect/swarchitect/index.html
    [7]2007.http://www.sparxsystems.com.au/ea.htm
    [8]Ma ZY,Zhao JF,Meng XW,Zhang WJ.Research and implementation of jade bird object-oriented software modeling tool.Journal of Software,2003,14(1):97-102 (in Chinese with English Abstract).http://www.jos.org.cn/1000-9825/14/97.htm
    [9]MetaEdit Inc.Domain-Specific modeling with MetaEdit+ 10 times faster than UML.White Paper,2005.
    [10]Cook S.Domain-Specific modeling and model-driven architecture.In:Frankel D,Parodi J,eds.Proc.of the MDA Journal:Model Driven Architecture Straight from the Masters,Chap.3.Meghan-Kiffer,2004.http://www.davidfrankelconsulting.com/ MDAJournal.htm [1]van Deursen A,Klint P.Little languages:Little maintenance-Journal of Software Maintenance:Research and Practice,1998,10(2):75-92. [12]Ledeczi A,Bakay A,Maroti M,Volgysei P,Nordstrom G,Sprinkle J,Karsai G.Composing domain-specific design environments.IEEE Computer,2001,34(11):44-51. [13]Sorenson PG,Tremblay JP,McAllister AJ.The metaview system for many specifcation environments.IEEE Software,1998,5(2):30-38. [14]Ebert J,S-uttenbach R,Uhe I.Meta-CASE in practice:A case for KOGGE.In:Olive JAPA,ed.Advanced Information Systems Engineering,Proc.of the 9th Int'l Conf.on Advanced Information Systems Engineering (CaiSE'97).LNCS 1250,Springer-Verlag,1997.203-216. [15]de Lara J,Vangheluwe H.Using AtoM3 as a meta-CASE tool.In:Proc.of the 4th Int'l Conf.on Enterprise Information Systems (ICEIS 2002).2002.642-649.http://www.iceis.org/iceis2002/ [16]Object Management Group.Meta object facility (MOF) 2.0 core specification.OMG Adopted Specification ptc/04-10-15.2004. [17]Bichler L.Tool support for generating implementations of MOF-based modeling languages.In:Proc.of the Domain-Specific Modeling Workshop at OOPSLA 2003.2003.http://www.dsmforum.org/events/DSM03/papers.html [1]Costagliola G,Gravino C.Constructing meta-CASE workbenches by exploiting visual language generators.IEEE Trans.on Software Engineering,2006,32(3):156-175. [19]Esser R,Janneck JW.A framework for defining domain-specific visual languages.In:Proc.of the Workshop on Domain Specific Visual Languages,Conjunction with ACM Conf.on Object-Oriented Programming,Systems,Languages and Applications OOPSLA 2001.2001.http://www.isis.vanderbilt.edu/oopsla2k1/Papers/Esser.pdf [20]de Lara J,Guerra E,Vangheluwe H.Meta-Modelling,graph transformation and model checking for the analysis of hybrid systems.In:Proc.of the AGTIVE 2003.LNCS 3062,2003.292-298. [21]Honeywell,Inc.DOME guide.1999.http://www.htc.honeywell.com/dome/ [22]MetaCase.MetaEdit+4.0 user's guide.http://www.metacase.com/support/40/manuals/index.html [1]Pohjonen R.Metamodeling made easy-MetaEdit+ (tool demonstration).In:Glück R,Lowry M,eds.Proc.of the Generative Programming and Component Engineering,4th Int'l Conf.(GPCE 2005).LNCS 3676,2005.442-446. [24]Zhu H,Shan LJ.Well-Formedness,consistency and completeness of graphic models.In:Proc.of the UKSIM 2006.2006.47-53. [25]Gonzalez-Perez C,Henderson-Sellers B.A powertype-based metamodelling framework.Software & System Modeling,2006,5(1):72-90. [26]Tolvanen JP,Kelly S.Defining domain-specific modeling languages to automate product derivation:Collected experiences.In:Proc.of the Software Product Lines:The 9th Int'l Conf.(SPLC 2005).LNCS 3714,2005.198-209. [27]Hruby P.Domain-Driven development with ontologies and aspects.In:Proc.of the Domain-Specific Modeling Workshop at OOPSLA 2005.2005.http://www.dsmforum.org/events/DSM05/Papers.html [28]Korhonen K.A case study on reusability of a DSL in a dynamic domain.In:Proc.of the 2nd Workshop on Domain-Specific Visual Languages.2002.http://www.dsmforum.org/events/DSVL02/Papers.html [1]Sprinkle J,Karsai G.A domain-specific visual language for domain model evolution.Journal of Visual Languages and Computing,2004,15(2):291-307. [30]Ma HH.Research on the meta-model quality evaluation for the UML family of languages[Ph.D.Thesis].Beijing:Peking University,2005 (in Chinese with English abstract). [31]Ledeczi A,Nordstrom G,Karsai G,Volgyesi P,Maroti M.On metamodel composition.In:Proc.of the 2001 IEEE Int'l Conf.on Control Applications.2001.756-760.http://ieeexplore.ieee.org/xpl/freeabs_all.jsp-arnumber=973959&fromcon [32]Schloegel K,Oglesby D,Engstrom E,Bhatt D.A new approach to capture multi-model interactions in support of cross-domain analyses.Technical Report,2001. [1]Schloegel K,Oglesby D,Engstrom E,Bhatt D.Composable code generation for model-based development.In:Proc.of the Software and Compilers for Embedded Systems:The 7th Int'l Workshop,SCOPES 2003.2003.211-225. [34]Schloegel K,Oglesby D,Engstrom E.Towards next generation metamodeling tools.Technical Report,2001. [35]Costagliola G,Deufemial V,Ferrucci F,Gravino C.Constructing meta-CASE workbenches by exploiting visual language generators.IEEE Trans.on Software Engineering,2006,32(3):156-175. [36]Nentwich C,Capra L,Emmerich W,Finkelstein A.xlinkit:A consistency checking and smart link generation service.ACM Trans.on Internet Technology,2002,2(2):151-185.http://www.xlinkit.com [37]Ledeczi A,Maroti M,Bakay A,Karsai G,Garrett J,Thomason IV C,Nordstrom G,Sprinkle J,Volgyesi P.The generic modeling environment.In:Proc.of the Workshop on Intelligent Signal Processing.2001.http://www.mit.bme.hu/events/wisp2001/ [1]Atkinson C,Kuhne T.The essence of multilevel metamodeling.In:Gogolla M,Kobryn C,eds.Proc.of the Unified Modeling Language,Modeling Languages,Concepts,and Tools:The 4th Int'l Conf.LNCS 2185,2001.19-33. [39]Harel D,Rumpe B.Modeling languages:Syntax,semantics and all that stuff,Part I:The basic stuff.Technical Report,MCS00-16,Weizmann Science Press of Israel,2000. [40]2007.http://www.metamodel.com/ [41]2007.http://www.eclipse.org/emft/projects/ [42]Object Management Group.MOF QVT final adopted specification.OMG Adopted Specification ptc/05-11-01.2005. [43]Agrawal A,Karsai G,Shi F.Graph transformations on domain-specific models.Technical Report,ISIS-03-403,Vanderbilt University,2000. [44]2007.http://www.metacase.com
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

刘 辉,麻志毅,邵维忠.元建模技术研究进展.软件学报,2008,19(6):1317-1327

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

京公网安备 11040202500063号