A Metamodel for the Rubus Component Model: Extensions for Timing and Model Transformation From EAST-ADL
15
Citation
21
Reference
10
Related Paper
Citation Trend
Abstract:
According to the model-driven engineering paradigm, one of the entry requirements when realizing a seamless tool chain for the development of software is the definition of metamodels, to regulate the specification of models, and model transformations, for automating manipulations of models. In this context, we present a metamodel definition for the Rubus component model, an industrial solution used for the development of vehicular embedded systems. The metamodel includes the definition of structural elements as well as elements for describing timing information. In order to show how, using model-driven engineering, the integration between different modeling levels can be automated, we present a model-to-model transformation between models conforming to EAST-ADL and models described by means of the Rubus component model. To validate our solution, we exploit a set of industrial automotive applications to show the applicability of both the Rubus component model metamodel and the model transformation.Keywords:
Metamodeling
Component (thermodynamics)
Model Transformation
Model-driven architecture
Model-based design
Conceptual model
Metamodeling
Model Transformation
Model-driven architecture
Cite
Citations (98)
Background: In model-driven development, model transformation transforms one model to another between different phases of software engineering. In model transformation, metamodel plays a vital role which defines the abstract syntax of models and the interrelationship between their elements. A unified metamodel defines an abstract syntax for both source and target models when they share core elements. Theoretical approaches define language and platform independent representation of models in software engineering. This paper investigates the theoretical foundation to this unified meta-modelling for their consistent transformation. Objective: This paper aims to define the formal foundations to the unified metamodel for generating implementation from design specifications and model reusability. Method: In this paper, the study considers transformation from design to implementation and vice versa using theoretical foundations to build a verified software system. Results: The related tools provide a formal representation of the design phase for verification purpose. Our approach provides a set-theoretical foundation to the unified metamodel for model transformation from USE (UML/OCL) to Spec#. In other words, our approach defines the formal foundation to define a model which consists of all the required properties for verification at the design and implementation phase. Conclusion: This paper introduced a new set of the theoretical framework which acts as an interface between the design and implementation to generate verified software systems.
Metamodeling
Model Transformation
Reusability
Model-driven architecture
Cite
Citations (0)
Recently, Model Driven Engineering (MDE) has been proposed for supporting the development, maintenance and evolution of software systems. Model Driven Architecture (MDA), Software Factories and Eclipse Modeling Framework (EMF) are representative MDE approaches. These MDE approaches have some concepts and techniques in common such as modeling, metamodels and model transformation. However, other concepts and techniques should be envisaged such as metamodel matching. In this paper, we discuss some issues and provide some insights into metamodel matching. For this purpose, we use UML and the C# platform to illustrate our approach and to evaluate our Mapping Tool for MDE (MT4MDE) and Semi-Automatic Matching Tool for MDE (SAMT4MDE). Afterwards, comparisons with other tools are presented.
Metamodeling
Model-driven architecture
Eclipse
Model Transformation
Metadata modeling
Cite
Citations (20)
According to the model-driven engineering paradigm, one of the entry requirements when realizing a seamless tool chain for the development of software is the definition of metamodels, to regulate the specification of models, and model transformations, for automating manipulations of models. In this context, we present a metamodel definition for the Rubus component model, an industrial solution used for the development of vehicular embedded systems. The metamodel includes the definition of structural elements as well as elements for describing timing information. In order to show how, using model-driven engineering, the integration between different modeling levels can be automated, we present a model-to-model transformation between models conforming to EAST-ADL and models described by means of the Rubus component model. To validate our solution, we exploit a set of industrial automotive applications to show the applicability of both the Rubus component model metamodel and the model transformation.
Metamodeling
Component (thermodynamics)
Model Transformation
Model-driven architecture
Model-based design
Conceptual model
Cite
Citations (15)
Recently, Model Driven Engineering (MDE) has been proposed for supporting the development, maintenance and evolution of software systems. Model Driven Architecture (MDA), Software Factories and Eclipse Modeling Framework (EMF) are representative MDE approaches. These MDE approaches have some concepts and techniques in common such as modeling, metamodels and model transformation. However, other concepts and techniques should be envisaged such as metamodel matching. In this paper, we discuss some issues and provide some insights into metamodel matching. For this purpose, we use UML and the C# platform to illustrate our approach and to evaluate our Mapping Tool for MDE (MT4MDE) and Semi-Automatic Matching Tool for MDE (SAMT4MDE). Afterwards, comparisons with other tools are presented.
Metamodeling
Model-driven architecture
Eclipse
Model Transformation
Metadata modeling
Cite
Citations (26)
The Model Driven Architecture (MDA) is a framework that is intended to support the development of software-intensive systems through the transformation of models to executable components and applications. A key facilitator of the MDA is a standard to express model transformations. This poster describes a rigorous approach to modeling pattern-based transformations at the metamodel level.
Metamodeling
Executable
Model Transformation
Model-driven architecture
Facilitator
Model-Driven Development
Model-based design
Cite
Citations (0)
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be considered one of the basic concepts of model-driven engineering and are expected to evolve during their life-cycle. As a consequence, models conforming to changed metamodels have to be updated for preserving their well-formedness. This paper deals with the co-adaptation problems by proposing higher-order model transformations which take a difference model recording the metamodel evolution and produce a model transformation able to co-evolve the involved models.
Metamodeling
Model Transformation
Model-driven architecture
Software evolution
Model-Driven Development
Cite
Citations (248)
Metamodeling
Model Transformation
Model-driven architecture
Model-Driven Development
Modeling language
Mobile phone
Cite
Citations (10)
Model Transformation is a software engineering mechanism for transforming one model into another model between different phases to develop a software system. A metamodel defines the abstract syntax of models and the interrelationships between model elements. Model transformation approaches use different metamodels to represent source and target model of the system. This paper investigates for a unified metamodel when they share set of core representations in different phases and checks the possibilities for multidirectional transformation for code generation, upgradation and migration purposes.
Metamodeling
Model Transformation
Model-driven architecture
Reusability
Cite
Citations (2)
Model-driven engineering is a wide-spread paradigm in modern software engineering. During the last couple of years, many tools and languages have been developed, which are especially designed for model transformations — a discipline which is needed in many model-driven engineering approaches. While most of the existing model-to-model tools and languages are tailored towards batch transformations for specific model instances, they lack support for generic transformation problems, where the metamodel is unknown beforehand. In this paper we present a two-step meta-code generation approach that derives a metamodel-specific modelto-model transformation from a model-to-text transformation. The approach has been successfully applied to the problem of product derivation in model-driven software product lines.
Metamodeling
Model Transformation
Model-driven architecture
Software product line
Model-Driven Development
Code (set theory)
Cite
Citations (0)