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.

Provided by: Shandong Institute of Business And Technology Topic: Networking Date Added: Apr 2011 Format: PDF

Find By Topic