Algebraic Formal Modelling for EIGRP using ACP: Formal Description Modelling on EIGRP Routing Protocol

摘要

Fast-converging routing protocols are necessary in order to keep up with the interconnected world we are living in and one of the quickest ones is EIGRP. In this paper, we are going to design two models for network devices running EIGRP by focusing on the main events happening on them. First, a non-timing model is going to be formally described, hence just studying the aforesaid main events without any time constraints. Then, a timing model is going to extend the former with the proper time values associated with each particular event. Both models are going to be formally described by means of manual algebraic derivations using Algebra of Communicating Processes (ACP).