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.
References
-
-
1)
-
R.D. Brandt ,
V. Garg ,
R. Kumar ,
F. Lin ,
S.I. Marcus ,
W.M. Won-Ham
.
Formulas for calculating supremal controllable and normal sublanguages.
Syst. Control Lett.
,
111 -
117
-
2)
-
F. Lin ,
W.M. Wonham
.
On observability of discrete-event systems.
Inf. Sci.
,
3 ,
173 -
198
-
3)
-
K.L. Calvert ,
S.S. Lam
.
Formal methods for protocol conversion.
IEEE J. Sel. Areas Commun.
,
1 ,
127 -
142
-
4)
-
M. Heymann
.
Concurrency and discrete event control.
IEEE Control Syst. Mag.
,
4 ,
103 -
112
-
5)
-
`H.323, Packet-based multimedia communication systems', , 1998.
-
6)
-
Park, S.-J., Lim, J.-T.: `Language model approach to-nonblocking supervisor synthesis for nondeterministic discrete event systems', Proc. IEEE Int. Conf. on Robotics and automation, 2001, Seoul, Korea, p. 650–655.
-
7)
-
Ho, J.-M., Hu, J.-C., Steenkiste, P.: `A conference gateway supporting interoperability between SIP and H.323', Proc. 9th ACM Int. Conf. on Multimedia, 2001, p. 421–430.
-
8)
-
Takei, K., Okamura, K., Araki, K.: `Design of gateway systems between different signaling protocols of the multimedia session on the Internet', Proc. 15th Int. Conf. on Information networking, 2001, p. 297–302.
-
9)
-
Handley, M., Schulzrinne, H., Schooler, E., and Rosenberg, J.: ‘SIP: Session Initiation Protocol, RFC 2543’, 1999.
-
10)
-
M. Rajagopal ,
R.E. Miller
.
Synthesizing a protocol converter from executable protocol traces.
IEEE Trans. Comput.
,
4 ,
487 -
499
-
11)
-
S.S. Lam
.
Protocol conversion.
IEEE Trans. Softw. Eng.
,
3 ,
353 -
363
-
12)
-
Singh, K., Schulzrinne, H.: `Interworking between SIP/SDP and H.323', Proc. 1st IP-Telephony Workshop (IPTel’2000), April 2000.
-
13)
-
R. Kumar ,
S. Nelvagal ,
S.I. Marcus
.
A discrete event systems approach for protocol conversion.
Discrete Event Dyn. Syst. Theor. Applic.
,
3 ,
295 -
315
-
14)
-
Singh, K., and Schulzrinne, H.: ‘Interworking between SIP/SDP and H.323’, Internet Draft, IETF, Jan, 2000, work in progress.
-
15)
-
P.J. Ramadge ,
W.M. Wonham
.
Supervisory control of a class of discrete event processes.
SIAM J. Control Optim.
,
1 ,
206 -
230
-
16)
-
R. Kumar ,
M.A. Shayman
.
Nonblocking supervisory control of nondeterministic systems via prioritized synchronization.
IEEE Trans. Autom. Control
,
8 ,
1160 -
1175
http://iet.metastore.ingenta.com/content/journals/10.1049/ip-com_20040107
Related content
content/journals/10.1049/ip-com_20040107
pub_keyword,iet_inspecKeyword,pub_concept
6
6