Blog
About

81
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • 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

                Contributors
                Conference
                May 2007
                May 2007
                : 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
                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