Title :
WebMUX protocol state analysis with CPN modelling
Author :
Yao, Shaowen ; Billington, Jonathan ; Zhou, Mingtiaii
Author_Institution :
Dept. of Commun. & Electr. Eng., Yunnan Polytech. Univ., Kunming, China
Abstract :
The WebMUX protocol is an experimental multiplexing protocol. It is a transport sub-layer built on top of existing Internet transport protocols in HTTP-NG (hypertext transport protocol-next generation), which aims to enhance the performance of HTTP and overcome some intrinsic limitations. After describing the mechanisms of the WebMUX protocol, we define the service primitives of WebMUX. Based on the analysis of state transition, this paper provides a coloured Petri net (CPN) model to show how this transport protocol works. The construction of the CPN model and its analysis are given in detail in this paper
Keywords :
Internet; Petri nets; transport protocols; CPN modelling; HTTP-NG; Internet transport protocols; WebMUX protocol state analysis; coloured Petri net; experimental multiplexing protocol; next generation hypertext transport protocol; service primitives; state transition; transport sub-layer; Application software; Australia; Lakes; Object oriented modeling; Petri nets; Prototypes; TCPIP; Transport protocols; Web sites; World Wide Web;
Conference_Titel :
Communication Technology Proceedings, 2000. WCC - ICCT 2000. International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-6394-9
DOI :
10.1109/ICCT.2000.890928
