SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations

Křikava, Filip; Collet, Philippe

doi:10.1007/978-3-319-11653-2_35

Cited by 7 publications

(5 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…external DSLs were discussed in [23,28] and several of them have been proposed − e.g. in Scala, SIGMA [29], and in C ♯ , NTL [21][22][23]. SIGMA is EMF native and its MT rules are defined as Scala methods, which are internally processed using reflection, thereby achieving a more concise syntax than that of YAMTL.…”

Section: Discussionmentioning

confidence: 99%

Expressive and Efficient Model Transformation with an Internal DSL of Xtend

Boronat

2018

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Model transformation (MT) of very large models (VLMs), with millions of elements, is a challenging cornerstone for applying Model-Driven Engineering (MDE) technology in industry. Recent research efforts that tackle this problem have been directed at distributing MT on the Cloud, either directly, by managing clusters explicitly, or indirectly, via external NoSQL data stores. In this paper, we draw attention back to improving efficiency of model transformations that use EMF natively and that run on non-distributed environments, showing that substantial performance gains can still be reaped on that ground.We present Yet Another Model Transformation Language (YAMTL), a new internal domain-specific language (DSL) of Xtend for defining declarative MT, and its execution engine. The part of the DSL for defining MT is similar to ATL in terms of expressiveness, including support for advanced modelling contructs, such as multiple rule inheritance and module composition. In addition, YAMTL provides support for specifying execution control strategies. We experimentally demonstrate that the presented transformation engine outperforms other representative MT engines by using the batch transformation component of the VIATRA CPS benchmark. The improvement is, at least, one order of magnitude over the up-to-now fastest solution in all of the assessed scenarios. The software artefacts accompanying this work have been approved by the artefact evaluation committee and are available at http://remodd.org/node/585.

show abstract

Section: Discussionmentioning

confidence: 99%

Expressive and Efficient Model Transformation with an Internal DSL of Xtend

Boronat

2018

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

show abstract

“…Generic low-level transformation engines include EMFTVM [155] or T-Core [124]. SIGMA [91] provides Scala-embedded DSLs that map Epsilon model transformation functionality directly into Scala as a specification language, and the JVM as the execution platform. A detailed overview of the state-of-the-art for rule-based design space exploration frameworks is provided in [66] Example A reactive and event-driven version of our sample transformation rule of Fig.…”

Section: Fig 10 a Reactive Transformation Rulementioning

confidence: 99%

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Varró

Bergmann

Hegedüs³

et al. 2016

Softw Syst Model

View full text Add to dashboard Cite

The current release of VIATRA provides opensource tool support for an event-driven, reactive model transformation engine built on top of highly scalable incremental graph queries for models with millions of elements and advanced features such as rule-based design space exploration complex event processing or model obfuscation. However, the history of the VIATRA model transformation framework dates back to over 16 years. Starting as an early academic research prototype as part of the M.Sc project of the the first author it first evolved into a Prolog-based engine followed by a family of open-source projects which by now matured into a component integrated into various industrial and open-source tools and deployed over multiple technologies. This invited paper briefly overviews the evolution of the VIATRA/IncQuery family by highlighting key features and illustrating main transformation concepts along an open case study influenced by an industrial project. Software tools in systems engineeringModel-driven engineering (MDE) plays an important role in the design of critical embedded and cyber-physical systems in various application domains such as automotive, avionics or telecommunication. MDE tools aim to simultaneously improve quality and decrease costs by early validation by highlighting conceptual design flaws well before traditional testing phases in accordance with the correct-by-construction principle. Furthermore, they improve productivity of engineers by automatically synthesizing different design artifacts (source code, configuration tables, test cases, fault trees, etc.) necessitated by certification standards (like DO-178C [117], DO-330 [116] or ISO 26262[78]).Certain shares in the software tool market of systems engineering are dominated by very few industrial tools (e.g., MATLAB Simulink, Dymola, DOORS, MagicDraw) each of which typically provides advanced support for certain development stages (requirements engineering, simulation, allocation, test generation, etc). To protect their intellectual property rights, these tools are of closed nature, which implies huge tool integration costs for system integrators (such as airframers or car manufacturers). On the other hand, recent initiatives (such as PolarSys, OpenModelica) have started to promote open language standards and the systematic use of open-source software components in tools for critical systems to reduce licensing costs and risks of vendor lock-in.Certification standards of critical cyber-physical systems require that software tools used for developing such critical system are validated with the same scrutiny as the system under design by software tool qualification [87,116], especially, when no further human checking is carried out on the outputs of such tools. Software tool qualification distinguishes between design tools which, by definition, may 123

show abstract

“…They explain that external MTLs can only be extended ("if at all") with a specific general-purpose language (C71). Internal model transformation languages of course do not suffer from this problem since they can be extended using the host language [21,32,46].…”

Section: Extendabilitymentioning

confidence: 99%

“…The performance of model transformations can have huge impact on development, especially when multiple transformations have to be executed in succession. Many language engineers already pay tribute to that fact by providing performance comparisons between their languages and other MTLs or general-purpose languages such as Java [32,46]. And the Transformation Tool Contest (TTC) provides a venue for comparing MTLs.…”

Section: Research Directionmentioning

confidence: 99%

Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review

2020

View full text Add to dashboard Cite

There exists a plethora of claims about the advantages and disadvantages of model transformation languages compared to general-purpose programming languages. With this work, we aim to create an overview over these claims in the literature and systematize evidence thereof. For this purpose, we conducted a systematic literature review by following a systematic process for searching and selecting relevant publications and extracting data. We selected a total of 58 publications, categorized claims about model transformation languages into 14 separate groups and conceived a representation to track claims and evidence through the literature. From our results, we conclude that: (i) the current literature claims many advantages of model transformation languages but also points towards certain deficits and (ii) there is insufficient evidence for claimed advantages and disadvantages and (iii) there is a lack of research interest into the verification of claims.

show abstract

SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations

Cited by 7 publications

References 25 publications

Expressive and Efficient Model Transformation with an Internal DSL of Xtend

Expressive and Efficient Model Transformation with an Internal DSL of Xtend

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review

Contact Info

Product

Resources

About