Formal Specification of Spanning Tree Protocol Using ACP

Pedro Juan Roig, Salvador Alcaraz, Katja Gilly

Abstract


Spanning-Tree Protocol (STP) has nowadays been implemented by most manufacturers in order to avoid loops in bridged networks. IEEE 802.1D STP is the original standard and it is run as a distributed algorithm by every bridge. In this paper we propose a formal specification of that STP by using a Process Algebra named Algebra of Communicating Processes (ACP), following a manual approach. Furthermore, STP protocol verification has been performed, both in a formal and in an informal way.

DOI: http://dx.doi.org/10.5755/j01.eie.23.2.18005


Keywords


ACP; distributed algorithms; formal protocol specification; STP

Full Text: PDF

Refbacks

  • There are currently no refbacks.


Print ISSN: 1392-1215
Online ISSN: 2029-5731