Consistent Reconfiguration for Publish/Subscribe Architecture Styles

Abstract

This paper addresses the dynamic aspect of Publish/Subscribe architectures. We propose an integrated formal approach for the specification and verification of reconfigurations over the topology of Publish/Subscribe architecture styles. We integrate a functional approach and a structural approach based on graph grammars. The purpose is to express dynamism while offering a simple specification which can be easy to read and to understand. We use the specification language Z to describe the constraints made on the architecture style and we describe the dynamic of architecture via guarded graph-rewriting rules whose guards mainly describe the pre- and post-conditions ensuring in this way the preservation of stylistic constraints. To ensure that the system is evolving correctly, we elaborate a verification process which validates each rule, whose semantic is described in Z notation, using the ZEVES theorem prover.

Contributors

Imen Loulou

Ahmed Hadj Kacem

Mohamed Jmaiel

Khalil Drira

Conference

Publication date: May 2007

Publication date (Print): May 2007

Pages: 1-12

Affiliations

University of Sfax

Laboratory LARIS

B.P. 1088, 3018 Sfax, Tunisia

LAAS-CNRS

7 avenue de Colonel Roche

31007 Toulouse Cedex 4, France

Article

DOI: 10.14236/ewic/VECOS2007.6

Copyright statement: © Imen Loulou et al. Published by BCS Learning and Development Ltd. First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007), Algiers, Algeria

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007)

Conference acronym: VECOS

Conference number: 1

Conference location: Algiers, Algeria

Conference date: 5-6 May 2007

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Verification and Evaluation of Computer and Communication Systems

Product

Product Information: 1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2007.6

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing