This paper presents an experience report of building a Kermeta compiler using Scala as a target language. Kermeta is a domain specific language inspired by languages such as Eiffel or OCL for specifying the operational semantics of metamodels. This engineering work, initially motivated by performance issues of our Kermeta interpreter, is an excuse to study and discuss some paradigm mismatches b...

This demonstration presents the new version (v2 ) of the Kermeta workbench that uses one domain-specific meta-language per language implementation concern. We show that the usage and combination of those meta-languages is simple and intuitive enough to deserve the term mashup and implemented as an original modular compilation scheme in the new version of Kermeta. This demonstration illustrates ...

To address current software engineering challenges resulting from the diversity of software environnements and usages, Software Product Lines (SPL) promise greater productivity by proposing to develop applications based on a set of common assets thus fostering reuse. However, software product line derivation fails to meet efficiently unforeseen, customer-specific, requirements. In this paper, w...

This chapter contributes to the formal specification of Kermeta, a popular metamodelling framework useful for the design of DSL structure and semantics. The formal specification is tool-/tool syntax independent; it only uses classical mathematical instruments taught in usual computer science courses. This specification serves as a reference specification from which specialised implementation ca...

Implementing a model transformation is a very complex task and in an MDA process, chains of model transformations are usually built. When writing such a transformation chain, developers often need to have information on the previously applied transformations. Thus, disposing of a traceability framework enabling to gather information on the transformation behavior is an important feature for a t...

In many domains such as telecom, aerospace and automotive industries, engineers rely on Domain Speci c Modeling Languages (DSML) to solve the complex issues of engineering safety critical software. Traditional Language Engineering starts with the grammar of a language to produce a variety of tools for processing programs expressed in this language. Recently however, many new languages tend to b...

Software components are recognized as the most adequate approach to support autonomic administration systems. We implemented and experimented with such a system, but observed that the interfaces of a component model are too low-level and difficult to use. Consequently, we designed higher abstraction level languages for modeling administration policies. These languages are specific to our autono...

One major advantage of executable software process models is that once defined, they can be simulated, checked and validated in short incremental and iterative cycles. This also makes them a powerful asset for important process improvement decisions such as resource allocation, deadlock identification and process management. In this paper, we propose a framework that combines Aspect and Model-D...