Abstract
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.
Author supplied keywords
Cite
CITATION STYLE
Batteux, M., Prosvirnova, T., & Rauzy, A. (2019). Model synchronization: A formal framework for the management of heterogeneous models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11842 LNCS, pp. 157–172). Springer. https://doi.org/10.1007/978-3-030-32872-6_11
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
