Erscheint 12 Ausgaben pro Jahr
ISSN Druckformat: 0040-2508
ISSN Online: 1943-6009
Indexed in
CPN MODELING OF NETWORK PROTOCOL
ABSTRAKT
Colored Petri Nets (CPN) is a well- suited formal approach for modeling and analysis of network protocol. CPNs models are used as a starting point for developing protocol software. The approach consists of five refinement steps that allow a developer to gradually transform a platform-independent CPN model into a platform-specific model that enables automatic code generation. This paper deals with the CPN modeling of Resource reservation protocol (RSVP). The RSVP service specification has been proposed for RSVP. It includes all the RSVP service primitive occurrence sequences. The paper describes the proposed RSVP service specification in terms of the RSVP service primitives, their parameters and the possible service primitive occurrence sequences.