DocumentCode :
3342660
Title :
Generic engineering of communication protocols-current experience and future issues
Author :
Geppert, B. ; Rossler, F.
Author_Institution :
Dept. of Comput. Sci., Kaiserslautern Univ., Germany
fYear :
1997
fDate :
12-14 Nov. 1997
Firstpage :
70
Lastpage :
79
Abstract :
We present an approach to the generic engineering of communication protocols, which combines pattern-based software engineering with the formal description technique (FDT) SDL. Our approach has the potential to reduce the effort for protocol design and assures the high quality of the resulting communication subsystem. Actually, we suggest to keep a pool of reusable SDL patterns, which use FDTs to describe generic solutions for recurring design problems. According to specific communication requirements a protocol designer can then select patterns, which are suitably adapted and finally composed to build part of the resulting protocol specification.
Keywords :
formal specification; protocols; software engineering; software quality; specification languages; SDL; communication protocol generic engineering; formal description technique; future; high quality; pattern-based software engineering; protocol design; protocol specification; reusable SDL patterns; Computer science; Delay; Fiber optics; High-speed networks; Libraries; Multicast protocols; Optical design; Software engineering; Throughput; Web and internet services;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on
Conference_Location :
Hiroshima, Japan
Print_ISBN :
0-8186-8002-4
Type :
conf
DOI :
10.1109/ICFEM.1997.630404
Filename :
630404
Link To Document :
بازگشت