Abstract
In this paper a model of a simple communication protocol was introduced and described informally serving as an example to present usage of Formal Description Techniques (FDT) in protocol specification. The model was specified formally as well, using traditional FDT techniques: MSC and SDL languages. Our goal was to enhance the model with self-adaptive components, proving that it satisfies the approach for self-adaptivity published by DARPA in 1997, in order to show the world of communication protocols as a potential application field of self-adaptive software. We have presented that FDTs are applicable tools in specification method of self-adaptive protocols and mapping of self-adaptive components to FDT element has been shown.
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
Robertson, P., Laddaga, R., Shrobe, H.,: Introduction: The First International Workshop on Self-Adaptive Software, IWSAS 2000, Springer-Verlag, New York (2001)
Laddaga, R.: Active Software, Self-Adaptive Software, IWSAS 2000, Springer-Verlag, New York (2001)
Robertson, P., Laddaga, R., Shrobe, H.: Results of the First International Workshop on Self-Adaprive Software, Self-Adaptive Software, IWSAS 2000, Springer-Verlag, New York (2001)
Karsai, G., Ledeczi, J., Sztipanovits, J., Peceli, G., Simon, Gy., Kovacshazy: An Approach to Self-Adaptive Software based on Supervisory Control, Self-Adaptive Software, IWSAS 2000, Springer-Verlag, New York (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Harangozó, Z., Tarnay, K. (2003). FDTs in Self-adaptive Protocol Specification. In: Laddaga, R., Shrobe, H., Robertson, P. (eds) Self-Adaptive Software: Applications. IWSAS 2001. Lecture Notes in Computer Science, vol 2614. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36554-0_9
Download citation
DOI: https://doi.org/10.1007/3-540-36554-0_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00731-9
Online ISBN: 978-3-540-36554-9
eBook Packages: Springer Book Archive