Blog
About

  • Record: found
  • Abstract: found
  • Article: found
Is Open Access

Consistent Reconfiguration for Publish/Subscribe Architecture Styles

, , ,

First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007) (VECOS)

Verification and Evaluation of Computer and Communication Systems

5-6 May 2007

software architecture, Publish/Subscribe architectural style, dynamic architecture, graph rewriting, formal specification

Read this article at

Bookmark
      There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

      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.

      Related collections

      Most cited references 12

      • Record: found
      • Abstract: not found
      • Article: not found

      The many faces of publish/subscribe

        Bookmark
        • Record: found
        • Abstract: not found
        • Article: not found

        Design and evaluation of a wide-area event notification service

          Bookmark
          • Record: found
          • Abstract: not found
          • Article: not found

          The JEDI event-based infrastructure and its application to the development of the OPSS WFMS

            Bookmark

            Author and article information

            Affiliations
            University of Sfax

            Laboratory LARIS

            B.P. 1088, 3018 Sfax, Tunisia
            LAAS-CNRS

            7 avenue de Colonel Roche

            31007 Toulouse Cedex 4, France
            Contributors
            Conference
            May 2007
            May 2007
            : 1-12
            10.14236/ewic/VECOS2007.6
            © 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

            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/

            First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007)
            VECOS
            1
            Algiers, Algeria
            5-6 May 2007
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems
            Product
            Product Information: 1477-9358 BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article