Premium
9.1.6 Generation of a Service Language for the Resource Reservation Protocol Using Formal Methods
Author(s) -
Villapol María E.,
Billington Jonathan
Publication year - 2001
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2001.tb02433.x
Subject(s) - reservation , computer science , resource reservation protocol , protocol (science) , quality of service , service (business) , resource (disambiguation) , computer network , process (computing) , service quality , distributed computing , software engineering , database , programming language , world wide web , internet protocol suite , the internet , medicine , alternative medicine , economy , pathology , economics
The Resource Reservation Protocol (RSVP) is a signalling protocol, which transports and maintains Quality of Service (QoS) information along the path of a data flow. It is being modelled and analysed using a verification methodology proposed by (Billington et al 1986). The methodology includes a service and protocol specification. This paper is focused on the definition, modelling, and analysis of the RSVP service specification. A service language including all the possible service primitives sequences was also generated. It is being used as part of the verification process of RSVP. Also, this service specification will allow other resource reservation protocols to be developed that satisfy this service.