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

Volume

2

fYear

2000

fDate

2000

Firstpage

1421

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Communication Technology Proceedings, 2000. WCC - ICCT 2000. International Conference on

Conference_Location

Beijing

Print_ISBN

0-7803-6394-9

Type

conf

DOI

10.1109/ICCT.2000.890928

Filename

890928