227
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Specification and verification of the structural and behavioral properties of Publish/Subscribe architectures

      proceedings-article

      1 , 2 , 1

      Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008) (VECoS)

      Verification and Evaluation of Computer and Communication Systems

      2 - 3 July 2008

      Publish/Subscribe, architectural styles, structural and behavioral properties, SPIN, PROMELA, automata with multiplicities

      Bookmark

            Abstract

            Distributed applications are dynamically built as federations of components that join and leave the cooperation. Publish/Subscribe paradigm is a promising infrastructure to support these applications. However this paradigm complicates the intuitive interpretation and subsequent validation of these systems. It is easy to understand what each component does, but it is hard to understand what the global federation achieves. In this paper, we describe an approach to support the modeling and validation of Publish/Subscribe architecture style. We integrate a functional and a structural approach based on automata with multiplicities. The aim is to express dynamism while offering a simple modeling which can be easy to understand. To ensure that the system is evolving correctly, we validate the whole system through model checking using SPIN which permits to specify some properties concerning the dynamic behavior of a system.

            Content

            Author and article information

            Contributors
            Conference
            July 2008
            July 2008
            : 1-10
            Affiliations
            [ 1 ]University of Sfax

            ReDCAD Research Unit

            FSEG, B.P. 1088, 3018 Sfax, Tunisia
            [ 2 ]MIRACL Laboratory

            FSEG, B.P. 1088, 3018 Sfax, Tunisia
            Article
            10.14236/ewic/VECOS2008.17
            02c53a79-e295-4ea6-bccd-3f118de83186
            © Siwar Khelifi et al. Published by BCS Learning and Development Ltd. Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008)

            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/

            Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008)
            VECoS
            Leeds, UK
            2 - 3 July 2008
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article