OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Event-B Formalization of a Variability-Aware Component Model Patterns Framework

Bodeveix, Jean-Paul and Dieumegard, Arnaud and Filali, Mamoun Event-B Formalization of a Variability-Aware Component Model Patterns Framework. (2018) In: 15th International Conference on Formal Aspects of Component Software (FACS 2018), 10 October 2018 - 12 October 2018 (Pohang, Korea, Republic Of).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1007/978-3-030-02146-7_3


In the domain of model driven engineering, patterns have emerged as an ubiquitous structuring mechanism. Actually, patterns are used for instance at the requirement analysis level, during system design, and during the deployment and code generation phases. In this paper, we are interested in making precise the use of such a notion during system design. More precisely, our ultimate goal is to provide a semantic framework to support correct by construction architectures, i.e., the structural correctness of the architectures obtained through the application of patterns. For this purpose, we propose an Event-B modeling scheme for hierarchical component models. This model is built incrementally through horizontal refinements which introduce components, ports and lastly connectors. Patterns with variability are defined, instantiated and applied to user models. We show that these operations preserve the structural properties of the component model.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 11222 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-030-02145-0 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-030-02146-7_3
HAL Id:hal-02181895
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > IRT Saint Exupéry - Institut de Recherche Technologique (FRANCE)
Laboratory name:
IRT Saint Exupery, Toulouse (France)
Deposited On:16 May 2019 14:45

Repository Staff Only: item control page