Transfer Protocol Framework

Project description

Modern high-speed transfer protocols are composed from a set of basic protocol mechanisms due to the specific functional and performance requirements of the different applications. Even the flexible configuration of protocols at runtime is proposed. During the development broad spectra of service requirements as well as rules for the selection of mechanisms have to be defined. Since the mechanisms are of interest for different protocol development projects, a framework is proposed. It is a system of generic process type definitions and proof theorems supporting the ``a posteriori'' verification of transfer protocols. The process types model single service constraints, medium constraints, and protocol mechanisms. The correctness proof of a protocol can be accomplished by modelling systems of protocols, services, and media by composition of framework specification elements. A proof is accomplished by application of the theorems to the systems.

Publications

P. Herrmann, H. Krumm, O. Drögehorn, W. Geisselhardt: Framework and Tool Support for Formal Verification of High Speed Transfer Protocol Designs.
In: Telecommunication Systems, Kluwer Academic Publisher, 20(2002)3-4, 291-310.

P. Herrmann, H. Krumm: A Framework for Modeling Transfer Protocols.
In: Computer Networks, 34(2000)2, 317-337.

P. Herrmann, O. Drögehorn, W. Geisselhardt, H. Krumm: Tool-supported formal verification of highspeed transfer protocol designs.
In: 7th International Conference on Telecommunication Systems - Modelling and Analysis, pages 531-541, ATSMA, IFIP, Nashville, TN, USA, 1999.

P. Herrmann, H. Krumm: Modular Specification and Verification of XTP.
In: Telecommunication Systems, 9(1998)2, 207-221.

O. Drögehorn, P. Herrmann: Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework.
In: Tagungsband zum 8. Fachgespräch Formale Beschreibungstechniken, Cottbus, pages 48-59, Shaker Verlag, 1998. In German.

P. Herrmann: Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen (Dissertation).

Deutscher Universitätsverlag, 1998. In German.

P. Herrmann, H. Krumm: Protokollspezifikation und -verifikation mit dem Transferprotokoll-Framework.

In: Praxis der Informationsverarbeitung und Kommunikation (PIK), 21(1998)2, 79-88. In German.

P. Herrmann, H. Krumm: Modular Specification and Verification of XTP.
In: 5th International Conference on Telecommunication Systems - Modelling and Analysis, pages 477-486, ATSMA, IFIP, Nashville, TN, USA, 1997. Also in Telecommunication Systems.

P. Herrmann, A. Mester, H. Krumm: Entwurf korrekter verteilter Systeme durch wiederverwendbare Spezifikations- und Verifikationselemente .
In: Tagungsband zum 5. Fachgespräch der GI/ITG-Fachgruppen 3.3.1/4.4. (Kommunikation und verteilte Systeme) zu Formale Beschreibungstechniken für verteilte Systeme, 10 Pages. Kaiserlautern, June 1995. In German.

P. Herrmann, H. Krumm: Re-Usable Verification Elements for High-Speed Transfer Protocol Configurations .

In: P. Dembinski and M. Sredniawa, editors, Protocol Specification, Testing and Verification XV, pages 171-186, Warsaw, Poland, June 1995. Chapman & Hall.

P. Herrmann, H. Krumm: Compositional Specification and Verification of High-Speed Transfer Protocols.

In: S. T. Vuong and S. T. Chanson, editors, Protocol Specification, Testing and Verification XIV, pages 339-346, Vancouver, B.C., Canada, 1994. Chapman and Hall.

Project Duration

April 1993 until February 1996

Project Results

Transfer Protocol Framework

Contact

Peter Herrmann

Peter Herrmann, April 3, 2000
Informatik IV, Uni Dortmund