Modeling Theory of Component Based Network Architecture
Feng YanLi - · International Journal of Digital Content Technology and its Applications · 2011
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.