Systematic design of gateways between multimedia signalling protocols using supervisors

For the major signalling protocols SIP and H.323 in a multimedia communication session, the authors present a systematic method for designing gateways between call setup modes of the protocols using the supervisory control framework for nondeterministic discrete event systems. In particular, it is shown that the nonblockingness of a gateway to be designed is guaranteed by the nonblockingness of a language implementing a given specification described as specific messages.