DocumentCode :
2304607
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
Volume :
4
fYear :
2009
fDate :
19-21 May 2009
Firstpage :
295
Lastpage :
299
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, 2009. WCSE '09. WRI World Congress on
Conference_Location :
Xiamen
Print_ISBN :
978-0-7695-3570-8
Type :
conf
DOI :
10.1109/WCSE.2009.147
Filename :
5319555
Link To Document :
بازگشت