Event-B formalization of a variability-aware component model patterns framework - Assistance à la Certification d’Applications DIstribuées et Embarquées Accéder directement au contenu
Article Dans Une Revue Science of Computer Programming Année : 2020

Event-B formalization of a variability-aware component model patterns framework

Résumé

In the domain of model-driven engineering, patterns have emerged as a ubiquitous structuring mechanism. Patterns are used for instance at the requirement analysis level, during system design, and during the deployment and code generation phases. We focus on formalizing the operational semantics of pattern application on component-based system designs. More precisely, our ultimate goal is to provide a semantic framework to support the use of patterns for the production of correct-by-construction architectures, i.e., the structural (static) correctness of the architectures obtained through the formal application of patterns. To that end, we propose an Event-B framework for patterns specification, instantiation and application. This model is built incrementally through horizontal refinements which introduce components, ports, and connectors. Patterns with variability are defined, instantiated and can be applied to user models. We show that these operations preserve the structural properties of hierarchical component models.
Fichier principal
Vignette du fichier
FACS_2018_Long-21.pdf (1.15 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03097697 , version 1 (05-01-2021)

Identifiants

Citer

Jean-Paul Bodeveix, Arnaud Dieumegard, M Filali. Event-B formalization of a variability-aware component model patterns framework. Science of Computer Programming, 2020, 199, ⟨10.1016/j.scico.2020.102511⟩. ⟨hal-03097697⟩
81 Consultations
246 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More