Formal Specification of Spanning Tree Protocol Using ACP

  • Pedro Juan Roig Kauno technologijos universitetas
  • Salvador Alcaraz
  • Katja Gilly
Keywords: ACP, distributed algorithms, formal protocol specification, STP

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

Published
2017-04-20
Section
TELECOMMUNICATIONS ENGINEERING