Modeling soft state protocols with SDL
2005 | conference paper. A publication with affiliation to the University of Göttingen.
Jump to: Cite & Linked | Documents & Media | Details | Version history
Cite this publication
Modeling soft state protocols with SDL
Fu, X. & Hogrefe, D. (2005)
In:Boutaba, Raouf (Ed.), Networking 2005: Networking technologies, services, and protocols, performance of computer and communication networks, mobile and wireless communications systems pp. 289-302. 4th International IFIP-TC6 Networking Conference, Waterloo, CANADA.
Berlin: Springer. DOI: https://doi.org/10.1007/11422778_24
Documents & Media
Details
- Authors
- Fu, Xiaoming ; Hogrefe, Dieter
- Editors
- Boutaba, Raouf
- 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.
- Issue Date
- 2005
- Publisher
- Springer
- Conference
- 4th International IFIP-TC6 Networking Conference
- ISBN
- 3-540-25809-4
978-3-540-25809-4 - Conference Place
- Waterloo, CANADA
- Event start
- 2005-05-02
- Event end
- 2005-05-06
- ISSN
- 0302-9743
- Language
- English