Toward a formal meta-transformation of a parametrized component model

Abstract

The software development process involves a number of complex activities. Therefore, the development methodology must provide abstract description to simplify the design process, enable software development, give a high degree of software reuse and offer the possibility to verify several levels of abstraction. This is possible with MDE (Model Driven Engineering) approach through the use of multiple models, meta models and the transformations from one model to another one. Our contribution consists in making a meta-transformation process in order to promote reusability. At first time with a specification of component model architecture as a source model and the second time with the refinement of the formal and executable Maude language. Then, a meta-transformation process is given to translate our parameterized component model to Maude model using MOMENT2 which is a formal model transformation tool. It enables the specification and the verification of component based systems using QVT transformation within the Eclipse Modeling Framework.