Towards a General Composition Semantics for Rule-Based Model Transformation

Wagelaar, Dennis; Tisi, Massimo; Cabot, Jordi; Jouault, Frédéric

doi:10.1007/978-3-642-24485-8_46

Cited by 38 publications

(34 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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.…”

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

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

show abstract

“…The Integrated Transformation Environment (ITE) [24] allows users to use many transformation engines in the same environment. [14] proposes a common virtual machine to have different model-transformation languages interoperate on EMF. A general schema for the migration of a model transformation engine to a different platform has been investigated in [25], together with a practical experimentation migrating ATL from EMF to Microsoft DSL Tools.…”

Section: Related Workmentioning

confidence: 99%

fUML as an Assembly Language for Model Transformation

Tisi

Jouault

Delatour

et al. 2014

Software Language Engineering

Self Cite

View full text Add to dashboard Cite

International audienceWithin a given modeling platform, modeling tools, such as model editors and transformation engines, interoperate efficiently. They are generally written in the same general-purpose language, and use a single modeling framework (i.e., an API to access models). However, interoperability between tools from different modeling platforms is much more problematic.In this paper, we propose to leverage fUML in order to address this issue by providing a common execution language. Modeling frameworks can then be abstracted into generic actions that perform elementary operations on models. Not only can user models benefit from a unified execution semantics, but modeling tools can too.We support this proposal by showing how it can apply to a model transformation engine. To this end, a prototype compiler from ATL to fUML has been built, and is described. Finally, we conclude that fUML has some useful properties as candidate common execution language for MDE, but lacks some features

show abstract

“…The model transformation is made using ATL 4 , with the EMF Transformation Virtual Machine (EMFTVM). Indeed, besides including all the standard ATL VM features, EMFTVM offers better model loading and saving, smaller file results, and an overall performance improvement during the ATL transformation [12].…”

Section: Model Transformationmentioning

confidence: 99%

Injecting Execution Traces into a Model-Driven Framework for Program Analysis

Fosse

Tisi

Mottu

2018

Software Technologies: Applications and Foundations

Self Cite

View full text Add to dashboard Cite

Abstract. Model-Driven Engineering (MDE) has been successfully used in static program analysis. Frameworks like MoDisco inject the program structure into a model, available for further processing by query and transformation tools, e.g., for program understanding, reverse-engineering, modernization. In this paper we present our first steps towards extending MoDisco with capabilities for dynamic program analysis. We build an injector for program execution traces, one of the basic blocks of dynamic analysis. Our injector automatically instruments the code, executes it and captures a model of the execution behavior of the program, coupled with the model of the program structure. We use the trace injection mechanism for model-driven impact analysis on test sets. We identify some scalability issues that remain to be solved, providing a case study for future efforts in improving performance of model-management tools.

show abstract

Towards a General Composition Semantics for Rule-Based Model Transformation

Cited by 38 publications

References 13 publications

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

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

fUML as an Assembly Language for Model Transformation

Injecting Execution Traces into a Model-Driven Framework for Program Analysis

Contact Info

Product

Resources

About