Modeling route change in soft-state signaling protocols using SDL: A case of RSVP

Soft state signaling protocols install and maintain states in network nodes, expiring without receiving refreshes, These states require proper reparation when the flow path changes, especially in case of link or node failures. As the specifications usually do not describe in detail how to handle these failures, we present insights by developing SDL models for RSVP on this issue.