Title :
Formal Analysis of the VPN Service Management System
Author :
Wenhui, Sun ; Feng, Liu ; Gang, Dai ; Jinyu, Zhang
Author_Institution :
Beijing Jiaotong Univ., Beijing
Abstract :
This paper applies a formalization of the use of UML to the VPN service management system. An approach that supports a use case-driven, step-wised and incremental development in building models for the VPN service management system is studied in detail. The actual process of building the models shows the importance and feasibility of the formalization itself.
Keywords :
Unified Modeling Language; computer network management; virtual private networks; UML; VPN service management system; formal analysis; formalization feasibility; virtual private network; Application software; Concurrent computing; Conference management; Distributed computing; Educational institutions; Set theory; Sun; Technology management; Unified modeling language; Virtual private networks;
Conference_Titel :
Parallel and Distributed Computing, Applications and Technologies, 2007. PDCAT '07. Eighth International Conference on
Conference_Location :
Adelaide, SA
Print_ISBN :
0-7695-3049-4
DOI :
10.1109/PDCAT.2007.16
