A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages

Abstract

In this paper, we investigate a way to extend the scope of a dedicated and specific analysis framework to standard modeling languages like UML or AADL. This purpose is achieved by a two-steps model transformation. The two steps of this approach rely on a dedicated model transformation language called Modif. The first step is a kind of model slicing. It makes it possible to delete as much as possible what in the standard modeling language is not needed by the analysis tools. The second one maps the intermediate metamodel (resulting from the first step) to what is expected by the analysis tools. This two-steps model transformation is intended to identify efficiently the specifications that cannot be put under the scope of the analysis tool. We illustrate this approach with the scope extension of the Cheddar real time scheduling analyzer to AADL.