Skip to Main content Skip to Navigation
Journal articles

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

Abstract : 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.
Complete list of metadata
Contributor : Mamoun FILALI-AMINE Connect in order to contact the contributor
Submitted on : Tuesday, January 5, 2021 - 2:30:52 PM
Last modification on : Monday, July 4, 2022 - 8:41:44 AM
Long-term archiving on: : Wednesday, April 7, 2021 - 9:35:13 AM


Files produced by the author(s)



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



Record views


Files downloads