A Compositional Framework for Systematic Modeling Language Reuse
FT
Many engineering domains started using generic modeling languages, such as SysML, to describe or prescribe the systems under development. This raises a gap between the generic modeling languages and the domains of experience of the engineers using these. Engineering truly domain-specific languages (DSLs) for experts of these domains still is too challenging for their wide-spread adoption. One major obstacle, the inability to reuse multi-dimensional (encapsulating constituents of syntax and semantics) language components in a black-box fashion prevents the effective engineering of novel DSLs. To facilitate engineering DSLs, we devised a concept of 3D components for textual, external, and translational DSLs that relies on systematic reuse through systematic closed and open variability in which DSL syntaxes can be embedded, well-formedness rules joined, and code generators integrated in a black-box fashion. We present this concept, a method for its systematic application, an integrated collection of modeling languages supporting systematic language reuse, and an extensible framework that leverages these languages to derive novel DSLs from language product lines. These can greatly mitigate many of the challenges in DSL reuse and, hence, can advance the engineering of truly domain-specific modeling languages.
Thu 22 OctDisplayed time zone: Eastern Time (US & Canada) change
11:00 - 12:15 | B4-Language Engineering and ModularityTechnical Track at Room B Chair(s): Benoit Combemale University of Toulouse and Inria | ||
11:00 20mFull-paper | A Compositional Framework for Systematic Modeling Language ReuseFT Technical Track Arvid Butting Software Engineering RWTH Aachen University, Jerome Pfeiffer , Bernhard Rumpe RWTH Aachen, Andreas Wortmann RWTH Aachen University | ||
11:20 20mFull-paper | Template Based Model Engineering in UMLFT Technical Track | ||
11:40 15mTalk | On the benefits of file-level modularity for EMF modelsJ1st Technical Track Mojtaba Bagherzadeh , Karim Jahed Queen's University, Juergen Dingel Queen's University, Kingston, Ontario DOI Pre-print | ||
11:55 15mDemonstration | Concrete Syntax-Based Find for Graphical DSLsDemo Technical Track |