Title :
CPN Modelling of Reliable Data Transmission Scheme for Service Unit Based Network Architecture
Author :
Wang, Yan ; Zheng, Junhui ; Yi, Fasheng
Author_Institution :
Coll. of Comput. Sci. & Eng., Univ. of Electron. Sci. & Technol. of China, Chengdu, China
Abstract :
Service unit based network architecture (SUNA) is a non-layered network architecture, which could resolve the problems of layered architecture such as reduplicate functions of different layers and poor expansibility due to fixed layers. It uses end-to-end virtual circuit (VC) structure to transmit data. In order to guarantee reliable data transmission for SUNA, we propose an improved sliding window protocol called Sliding Window protocol with immediate retransmission (SWIR). After describing the mechanism of SWIR, we gives a colored Petri nets (CPN) model for it to verify the validity, integrity and feasibility of the protocol by analyzing the state space of the model.
Keywords :
Petri nets; data communication; protocols; software packages; CPN modelling; SWIR; Sliding Window protocol; colored Petri nets; end-to-end virtual circuit structure; immediate retransmission; nonlayered network architecture; reliable data transmission scheme; service unit- based network architecture; Circuits; Computer architecture; Computer network reliability; Computer science; Data communication; Petri nets; Protocols; Software engineering; State-space methods; Virtual colonoscopy;
Conference_Titel :
Software Engineering, 2009. WCSE '09. WRI World Congress on
Conference_Location :
Xiamen
Print_ISBN :
978-0-7695-3570-8
DOI :
10.1109/WCSE.2009.147