DocumentCode
2623405
Title
Formal Analysis of the VPN Service Management System
Author
Wenhui, Sun ; Feng, Liu ; Gang, Dai ; Jinyu, Zhang
Author_Institution
Beijing Jiaotong Univ., Beijing
fYear
2007
fDate
3-6 Dec. 2007
Firstpage
493
Lastpage
498
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/PDCAT.2007.16
Filename
4420208
Link To Document