Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Braden, R., Zhang, L., Berson, S., Herzog, S., Jamin, S.: Resource ReSerVation Protocol (RSVP) – Version 1 functional specification. RFC 2205, IETF (1997)
Monkewich, O., Sales, I., Probert, R.: OSPF Efficient LSA Refreshment Function in SDL. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 300–315. Springer, Heidelberg (2001)
Malkin, G.: RIP Version 2 – Carrying Additional Information. RFC 1723, IETF (1994)
Chan, K.Y., Bochmann, G.v.: Modeling IETF Session Initiation Protocol and its services in SDL. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 352–373. Springer, Heidelberg (2003)
Cavalli, A., Grepet, C., Maag, S., Tortajada, V.: A Validation Model for the DSR protocol. In: ICDCS 2004 (2004)
Fu, X., Hogrefe, D.: Modeling Soft State Protocols with SDL. In: Proceedings of IFIP International Conference on Networking, Waterloo, Canada (2005) (to appear)
Ellsberger, J., Hogrefe, D., Sarma, A.: SDL – Object Oriented Language for Communication Systems. Prentice Hall, Englewood Cliffs (1997)
Ji, P., Ge, Z., Kurose, j., Towsley, D.: A comparison of hard-state and soft-state signaling protocols. In: Proc. of SIGCOMM 2003, Karlsruhe, Germany (2003)
Sharma, P., Estrin, D., Floyd, S., Jacobson, V.: Scalable timers for soft state protocols. In: INFOCOM 1997, Kobe, Japan (1997)
Raman, S., McCanne, S.: A model, analysis, and protocol framework for soft state-based communication. In: Proc. of SIGCOMM 1999, Cambridge, MA (1999)
Zhang, L., Deering, S., Estrin, D., Shenker, S., Zappala, D.: RSVP: A New Resource Reservation Protocol. IEEE Network (1993)
Hancock, R., Karagiannis, G., Loughney, J., Van den Bosch, S.: Next Steps in Signaling: Framework. Internet draft, work in progress, IETF (2004)
Tanenbaum, A.S.: Computer Networks, 4th edn. Prentice Hall, Englewood Cliffs (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Werner, C., Fu, X., Hogrefe, D. (2005). Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP. In: Prinz, A., Reed, R., Reed, J. (eds) SDL 2005: Model Driven. SDL 2005. Lecture Notes in Computer Science, vol 3530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11506843_12
Download citation
DOI: https://doi.org/10.1007/11506843_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26612-9
Online ISBN: 978-3-540-31539-1
eBook Packages: Computer ScienceComputer Science (R0)