Modeling Theory of Component Based Network Architecture
In this paper, the authors first provide formal (nominal) definition of component, connector and network architecture, and then use process algebra theory to define component operations on the network architecture. Further, they develop the network architecture's algebra model and prove the model's consistency and completeness. Computer network is a distributed and concurrent complex system. Logically, its architecture must be specified, verified, designed, implemented and evaluated formally and correctly. As the logic framework of the network system, network architecture specifies and describes the network.