The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1997)
Hiroshima, JAPAN
Nov. 12, 1997 to Nov. 14, 1997
ISBN: 0-8186-8002-4
pp: 70
Birgit Geppert , University of Kaiserslautern
Frank Roessler , University of Kaiserslautern
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 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.
INDEX TERMS
CITATION

F. Roessler and B. Geppert, "Generic Engineering of Communication Protocols - Current Experience and Future Issues," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. 70.
doi:10.1109/ICFEM.1997.630404
81 ms
(Ver 3.3 (11022016))