Type Abstraction in Formal Protocol Specifications with Container Types

  • Joachim Thees
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2767)


In this paper, we propose a seamless integration of the concept of “(universal) container types” into Formal Description Techniques (FDTs), which introduces a new concept of data abstraction. We show how this syntactical and semantic extension increases the expressiveness in the area of component reuse, without sacrificing the formal precision of the FDT. The ideas are exemplified for Estelle, but apply to other FDTs in the protocol domain (e.g., SDL) as well. Furthermore we will demonstrate, how this extension increases the capability to formally specify the static and even the dynamic packet composition and decomposition of pre-existing protocols (like TCP/IPv6 or XTP).


Service User Transmission Control Protocol Service Interface Component Reuse External Interface 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Dembinski, P., Budkowski, S.: Specification Language Estelle. In: Diaz, M., et al. (eds.) The Formal Description Technique Estelle. North-Holland, Amsterdam (1989)Google Scholar
  2. 2.
    ISO/TC97/SC21: Estelle - A Formal Description Technique Based on an Extended State Transition Model, ISO/TC97/SC21, IS 9074 (1997)Google Scholar
  3. 3.
    ITU-T Recommendation X.680 – X.683 (07/02): Abstract Syntax Notation One (ASN.1), International Telecommunication Union (ITU) (2002)Google Scholar
  4. 4.
    ITU-T: CCITT Specification and Description Language (SDL), Recommendation Z.100 (03/03) (1994)Google Scholar
  5. 5.
    ISO/TC 97/SC 16, ISO 7498, Data Processing – Open Systems Interconnection – Basic Reference Model (1981)Google Scholar
  6. 6.
    Postel, J. (ed.): Internet Protocol, Specification, RFC791 (1981)Google Scholar
  7. 7.
    Postel, J. (ed.): Transmission Control Protocol, Specification. RFC793 (1981)Google Scholar
  8. 8.
    Postel, J. (ed.): User Datagram Protocol, Specification. RFC768 (1980)Google Scholar
  9. 9.
    Deering, S., Hinden, R. (eds.): Internet Protocol, Version 6 (IPv6), Specification. RFC1883/2460 (1995)Google Scholar
  10. 10.
    Thees, J., Gotzhein, R.: Open Estelle - An FDT for Open Distributed Systems. In: Budkowski, S., et al. (eds.) Formal Destcription Techniques and Protocol Specification, Testing and Verification (FORTE XI/PSTV XVIII 1998). Kluwer Academic Publishers, Boston (1998)Google Scholar
  11. 11.
    Thees, J.: The eXperimental Estelle Compiler - Automatic Generation of Implementations from Formal Specifications. In: Formal Methods in Software Practice (FMSP 1998), Clearwater Beach, Florida, USA (1998)Google Scholar
  12. 12.
    Thees, J.: Protocol Implementation with Estelle - from Prototypes to Efficient Implementations. In: Budkowski, S., et al. (eds.) 1st International Workshop of the Formal Description Technique Estelle (ESTELLE 1998), Evry, France (November 1998)Google Scholar
  13. 13.
    XTP Forum, Xpress Transport Protocol Specification, XTP Rev. 4.0, XTP Forum, Santa Barbara, USA (1995)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2003

Authors and Affiliations

  • Joachim Thees
    • 1
  1. 1.University of KaiserslauternKaiserslauternGermany

Personalised recommendations