Abstract
Soft state provides new services to packet-switching networks by introducing a type of state in the network nodes which is refreshed by periodical messages and otherwise expires. The operations of soft state protocols, which are being designed with ever greater complexity, need to be error-free and deadlock-free to avoid misusing network resources. Thus, verification, formal analysis and validation of these protocols become a vital task. In this paper we utilize formal techniques, specifically, Specification and Description Language (SDL) and Message Sequence Charts (MSCs), for modeling, analysis and validation of various soft state protocols. We propose a general architecture for state management systems and find employing these techniques can help identify and correct possible design errors, which may be caused by informal specifications.
Chapter PDF
References
Braden, R., Zhang, L., Berson, S., Herzog, S., Jamin, S.: Resource ReSerVation Protocol (RSVP) – Version 1 Functional Specification. RFC 2205 (1997)
Schulzrinne, H., Tschofenig, H., Fu, X., McDonald, A.: CASP – Cross-Application Signaling Protocol. Internet draft, work in progress (2003)
Paxson, V., Allman, M., et al.: Known TCP Implementation Problems. RFC 2525 (1999)
Fu, X., Hogrefe, D., Willert, S.: Implementation and Evaluation of the Cross- Application Signaling Protocol (CASP). In: Proc. of ICNP 2004, Berlin, Germany (2004)
ITU-T Recommendation Z.100 – Specification and Description Language (SDL) (1999)
ITU-T Recommendation Z.120 – Message Sequence Chart (MSC) (1999)
Schaible, P., Gotzhein, R.: View-based Animation of Communication Protocols in Design and in Operation. Computer Networks 40, 621–638 (2002)
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)
Raman, S., McCanne, S.: A Model, Analysis, and Protocol Framework for Soft State-based Communication. In: Proc. of SIGCOMM 1999, Cambridge, MA (1999)
Sharma, P., Estrin, D., Floyd, S., Jacobson, V.: Scalable Timers for Soft State Protocols. In: Proc. of INFOCOM 1997, Kobe, Japan (1997)
Bradley, A., Bestavros, A., Kfoury, A.: Safe Composition of Web Communication Protocols for Extensible Edge Services. In: Proc. of Workshop on Web Content Caching and Distribution (WCW), Boulder, Colorado (2002)
Holzmann, G.: The Model Checker SPIN. IEEE Trans. on Softw. Engineering 23, 1–17 (1997)
Floyd, S., Jacobson, V.: The Synchronization of Periodic Routing Messages. IEEE/ACM Trans. on Networking 2, 122–136 (1994)
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
Fu, X., Hogrefe, D. (2005). Modeling Soft State Protocols with SDL. In: Boutaba, R., Almeroth, K., Puigjaner, R., Shen, S., Black, J.P. (eds) NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems. NETWORKING 2005. Lecture Notes in Computer Science, vol 3462. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11422778_24
Download citation
DOI: https://doi.org/10.1007/11422778_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25809-4
Online ISBN: 978-3-540-32017-3
eBook Packages: Computer ScienceComputer Science (R0)