The worldwide ISDN development adopts an evolutionary instead of a revolutionary approach. As a result, many of the existing networks will be encapsulated within or linked to the ISDN. Due to the complexity of such an ISDN infrastructure in the evolutionary process, the key element in the successful development of ISDN, as we envision, will lie in the proper interworking of different protocols co-existing in the global ISDN. In this paper, we propose a formal model as the basis to study protocol interworking in ISDN.The interworking of protocols is formally modeled by interactions among networks of communicating finite state machines (CFSMs). The interactions that may occur in ISDN are then described and defined through two protocolinterworking operators - concatenation and overlap.
展开▼