Verimag

Model Transformation

Generating System Models

 Overview

A key idea in the BIP methodology is to generate the system models (i.e. implementations) from the application model of the software and a model of the target platform by using a set of correct-by-construction model transformations. These transformations preserve functional properties. Moreover, they take into account extra-functional constraints.

We consider three types of transformations:


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 18 ; visits: 393291