Modeling Theory of Component Based Network Architecture

Abstract

In this paper, we 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, we develop the network architecture's algebra model and prove the model's consistency and completeness.