Title :
Verification of interworking protocol of B-ISDN and PSPDN
Author :
Park, Seok Cheon ; Lee, Bong Young ; Yang, Yong Seok ; Park, Seong Jea
Author_Institution :
Dept. of Comput. Sci., Kyungwon Univ., South Korea
Abstract :
Considering the current scale of the PSPDN network infrastructure, the implementation of a completely new network is not economically acceptable. For the economical and efficient development of the future network infrastructure, it is essential to develop internetworking strategies between B-ISDN and PSPDN at the current developmental stage of the B-ISDN. This paper describes the design and verification of the interworking protocol between the B-ISUP of the B-ISDN and the X.75 of the PSPDN. For the verification, the designed interworking protocol is modeled by the predicate/action net derived from the Petri net and the model is analyzed by a reachability tree
Keywords :
B-ISDN; Petri nets; data communication; internetworking; open systems; packet switching; protocols; reachability analysis; B-ISDN; B-ISUP; OSI reference model; PSPDN; Petri net; X.75; data networks; interworking protocol verification; network infrastructure; packet switching; predicate/action net; reachability tree; Asynchronous transfer mode; B-ISDN; Computer science; Electronic mail; Integrated circuit interconnections; Internetworking; Protocols; Signal mapping; Telecommunication control; Telecommunication traffic;
Conference_Titel :
TENCON '97. IEEE Region 10 Annual Conference. Speech and Image Technologies for Computing and Telecommunications., Proceedings of IEEE
Conference_Location :
Brisbane, Qld.
Print_ISBN :
0-7803-4365-4
DOI :
10.1109/TENCON.1997.648503
