A formal modeling method of network architecture based on entity

Current practice of network architecture relies on relatively informal methods which can not provide a precise and unambiguous description and limits the potential for fully exploiting and verifying network design. To address these problems, the paper proposes a formal modeling method based on entity, which provides a unified formal abstraction of network architecture. A router is modeled using this method as an example.