Mashup of metalanguages and its implementation in the Kermeta language workbench

被引:35
作者
Jezequel, Jean-Marc [1 ]
Combemale, Benoit [1 ]
Barais, Olivier [1 ]
Monperrus, Martin [2 ]
Fouquet, Francois [1 ]
机构
[1] Univ Rennes 1, INRIA, IRISA, Rennes, France
[2] Univ Lille 1, INRIA, LIFL, Lille, France
关键词
DSL design and Implementation; Model-driven engineering; Software language engineering; SYSTEM; GRAMMARS;
D O I
10.1007/s10270-013-0354-4
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
With the growing use of domain-specific languages (DSL) in industry, DSL design and implementation goes far beyond an activity for a few experts only and becomes a challenging task for thousands of software engineers. DSL implementation indeed requires engineers to care for various concerns, from abstract syntax, static semantics, behavioral semantics, to extra-functional issues such as runtime performance. This paper presents an approach that uses one metalanguage per language implementation concern. We show that the usage and combination of those metalanguages is simple and intuitive enough to deserve the term mashup. We evaluate the approach by completely implementing the non-trivial fUML modeling language, a semantically sound and executable subset of the Unified Modeling Language (UML).
引用
收藏
页码:905 / 920
页数:16
相关论文
共 45 条
  • [1] [Anonymous], DSLS IN ACTION
  • [2] FEATUREHOUSE: Language-Independent, Automated Software Composition
    Apel, Sven
    Kaestner, Christian
    Lengauer, Christian
    [J]. 2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 221 - +
  • [3] BORRAS P, 1989, SIGPLAN NOTICES, V24, P14
  • [4] Clark Tony., 2008, APPL METAMODELLING F, VSecond
  • [5] MultiJava']Java: Modular open classes and symmetric multiple dispatch for Java']Java
    Clifton, C
    Leavens, GT
    Chambers, C
    Millstein, T
    [J]. ACM SIGPLAN NOTICES, 2000, 35 (10) : 130 - 145
  • [6] Essay on semantics definition in MDE: An instrumented approach for model verification
    Combemale, Benoît
    Crégut, Xavier
    Garoche, Pierre-Loïc
    Thirioux, Xavier
    [J]. Journal of Software, 2009, 4 (09) : 943 - 958
  • [7] Cook Steve., 2007, Domain-specific devel- opment with visual studio dsl tools, Vfirst
  • [8] Cordy J. R., 1988, Proceedings 1988 International Conference on Computer Languages (IEEE Cat. No.88CH2647-6), P280, DOI 10.1109/ICCL.1988.13075
  • [9] Dinkelaker Dinkelaker T. T., 2010, Proceedings of the 9th International Conference on Aspect-Oriented Software Development, P49, DOI DOI 10.1145/1739230.1739237
  • [10] The JastAdd system - modular extensible compiler construction
    Ekman, Torjoern
    Hedin, Goerel
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2007, 69 (1-3) : 14 - 26