An Object Group-Based Component Model

Michael Lienhardt 1, 2 Mario Bravetti 1, 2 Davide Sangiorgi 1, 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : Dynamic reconfiguration, i.e. changing at runtime the communication pattern of a program is challenging for most programs as it is generally impossible to ensure that such modifications won't disrupt current computations. In this paper, we propose a new approach for the integration of components in an object-oriented language that allows safe dynamic reconfiguration. Our approach is built upon futures and object-groups to which we add: i) output ports to represent variability points, ii) critical sections to control when updates of the software can be made and iii) hierarchy to model locations and distribution. These different notions work together to allow dynamic and safe update of a system. We illustrate our approach with a few examples.
Type de document :
Communication dans un congrès
Tiziana Margaria and Bernhard Steffe. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. Springer, 7609, pp.64--78, 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Proceedings, Part I. 〈10.1007/978-3-642-34026-0_6〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00909382
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 11:08:26
Dernière modification le : samedi 27 janvier 2018 - 01:30:57

Identifiants

Collections

Citation

Michael Lienhardt, Mario Bravetti, Davide Sangiorgi. An Object Group-Based Component Model. Tiziana Margaria and Bernhard Steffe. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. Springer, 7609, pp.64--78, 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Proceedings, Part I. 〈10.1007/978-3-642-34026-0_6〉. 〈hal-00909382〉

Partager

Métriques

Consultations de la notice

199