Reconfigurable Network Protocol Model Based on Process Algebra

Reconfigurable network protocol is a network protocol which consists of components, can exhibit different function and can adapt to different network environments with high performance by conducting component replacement and changing topological relations of the components. To solve the problem that the lack of formal methods in describing reconfigurable network protocol model in theory, this paper studies and proposes the formal model of reconfigurable network protocol using the process algebra methods. This paper defines reconfigurable components and a variety of component operations by abstracting component operations from component connection relationships according to the concept of arithmetic operator in process algebra. Finally, a mathematical model of reconfigurable network protocol is proposed. All the researches of this paper lays s foundation for further researches on the theoretical issues of reconfigurable network protocol.