Model synchronization: a formal framework for the management of heterogeneous models
Résumé
In this article, we present the conceptual foundations and implementation principles of model synchronization, a formal framework for the management of heterogeneous models. The proposed approach relies on S2ML (System Structure Modeling Language) as a pivot language. We show, by means of a case study, that model synchronization can be used to ensure the consistency between system architecture models designed with Capella and safety models written in AltaRica 3.0.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...