Modeling and Validating PNNI Signalling Protocol in SDL

WaiKin Chan,Xiaokang Lin,Qiang Gao
DOI: https://doi.org/10.1109/icct.1998.741075
1998-01-01
Abstract:PNNI is the most complex protocol in ATM networks. It requires an effective validation method to be applied to testing. We present an integrated approach on design and validation of communication protocols. We applied this approach on modeling and validating of a complex protocol, ATM PNNI (private network-network interface) signalling protocol, using a toolset named ObjectGEODE. We summarized our practical experiences of modeling & validating such complex protocols
What problem does this paper attempt to address?