[Show abstract][Hide abstract] ABSTRACT: Formal specification are indispensable for computer-aided verification and testing of communication protocols. However, a large number of the practical protocols have only informal specifications, mostly in English. There are no general procedures to derive formal specifications from such informal specification. In this paper we model session initiation protocol (SIP) by parameterized extended finite state machines. We also provide insights gained in the derivation of the formal specification.
[Show abstract][Hide abstract] 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.
[Show abstract][Hide abstract] ABSTRACT: In this paper, we present the function of a telecommunication service system and its traditional architecture. Combining a telecommunication service system as developmental requirement of TOM, we present a prototype system using a service-oriented architecture. We also give a business model of this telecommunication service system