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

      Modelling and Verification of JXTA peer-topeer Network Protocols

      , ,

      Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011) (VECOS)

      Verification and Evaluation of Computer and Communication Systems (VECoS 2011)

      15-16 September 2011

      Formal verification, Formal specification, Finite-state machine, JXTA, Model-checking, Peer-to-peer, SPIN

      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

          Recent advances in peer-to-peer computing have allowed its evolution as a reliable alternative to traditional centralised computing methods. The JXTA project is a popular open source describes a platform formed by six protocols purposed to enable interoperable, ubiquitous and reliable peer-topeer networking. We present a formal model of integrated JXTA protocols using Promela. We subsequently verify the model with the SPIN model-checker for internal consistency. Because the integrated model proves to be too large formal verification due its size and complexity, we verify the protocols separately. Number of non-progress cycles and an invalid end state are detected and we provide possible solutions approaches for these errors.

          Related collections

          Most cited references 5

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          Model Checking A Tutorial Overview

           Stephan Merz (2001)
            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            Formal specification

              Bookmark
              • Record: found
              • Abstract: not found
              • Conference Proceedings: not found

              Design and Verification of Communication Protocols for Peer-to-Peer Multimedia Systems

                Bookmark

                Author and article information

                Contributors
                Conference
                September 2011
                September 2011
                : 1-12
                Affiliations
                F’SATI

                Tshwane University of Technology

                Pretoria, South Africa
                Article
                10.14236/ewic/VECOS2011.10
                © Yannick L. Kala Konga et al. Published by BCS Learning and Development Ltd. Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011), Tunis, Tunisia

                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/

                Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011)
                VECOS
                5
                Tunis, Tunisia
                15-16 September 2011
                Electronic Workshops in Computing (eWiC)
                Verification and Evaluation of Computer and Communication Systems (VECoS 2011)
                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