Combining Transactional and Behavioural Reliability in Adaptive Middleware

Abstract : Adaptive systems behaviours can be intuitively programmed, using rule based middleware, as a set of rules. The rules verify conditions and perform actions in order to achieve a set of objectives. However, this raises several problems. First, inconsistencies may result from the fact that an action is not actually performed due to a communication error or a hardware failure. Second, the rules may be conflicting and their sequential chaining may lead to undesirable behaviour. This paper proposes an approach that combines transactional and behavioural reliability (i.e. consistency and no conflict) in adaptive middleware. This approach is implemented using the middleware LINC and the automata based language Heptagon/BZR. A case study, in the field of building automation, is presented to illustrate the approach.
Type de document :
Communication dans un congrès
15th Workshop on Adaptive and Reflective Middleware, ARM 2016, Colocated with ACM/IFIP/USENIX Middleware 2016, Dec 2016, Trento, Italy. 2016, 〈http://arm2016.unine.ch/〉. 〈10.1145/3008167.3008172〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01416799
Contributeur : Eric Rutten <>
Soumis le : samedi 22 juillet 2017 - 08:57:45
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04
Document(s) archivé(s) le : samedi 27 janvier 2018 - 06:41:18

Fichier

2016_ARM-middleware_LINCWithHe...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Adja Ndeye Sylla, Maxime Louvel, Eric Rutten. Combining Transactional and Behavioural Reliability in Adaptive Middleware. 15th Workshop on Adaptive and Reflective Middleware, ARM 2016, Colocated with ACM/IFIP/USENIX Middleware 2016, Dec 2016, Trento, Italy. 2016, 〈http://arm2016.unine.ch/〉. 〈10.1145/3008167.3008172〉. 〈hal-01416799〉

Partager

Métriques

Consultations de la notice

512

Téléchargements de fichiers

79