Title
Formal Analysis of the VPN Service Management System
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.
Year
DOI
Venue
2007
10.1109/PDCAT.2007.46
PDCAT
Keywords
Field
DocType
use case,unified modeling language,incremental development,service management,uml
Computer network management,Unified Modeling Language,Iterative and incremental development,Software engineering,Computer science,Element management system,Computer network,Service management system,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-7695-3049-4
2
0.44
References 
Authors
5
4
Name
Order
Citations
PageRank
Sun Wenhui1111.27
Feng Liu28517.02
Dai Gang3111.27
Zhang Jinyu473.25