• DocumentCode
    1366675
  • Title

    An ALF communication architecture: design and automated implementation

  • Author

    Chrisment, Isabelle ; Kaplan, Delphine ; Diot, Christophe

  • Author_Institution
    INRIA Lorraine, Villers les Nancy, France
  • Volume
    16
  • Issue
    3
  • fYear
    1998
  • fDate
    4/1/1998 12:00:00 AM
  • Firstpage
    332
  • Lastpage
    344
  • Abstract
    The application level framing (ALF) principle states that information should be packetized by the application into application data units (ADUs), each of which should be at the same time a unit of transmission, a unit of control, and a unit of processing. This paper describes a communication system architecture based on the ALF principle, which then attempts to maximize what might be gained from using ADUs. In this architecture, protocols are tailored to application requirements, i.e., to ADU types. In a first approximation, we consider three specific requirements, namely, in-order delivery, reliable delivery, and real-time delivery. ALF-based systems promise performance gains; however, implementing them in practice might be a complex task. Therefore, we have developed a compiler that automatically generates ALF-based communication systems starting from formal specification of applications. We have used this compiler to generate protocols tailored to three specific applications. Experimental results show that the gains are linked to application “complexity”
  • Keywords
    formal specification; formal verification; multimedia communication; program compilers; protocols; telecommunication computing; telecommunication network reliability; ADU; ALF communication architecture; application data units; application level framing; automated implementation; compiler; complexity; control; design; formal specification; in-order delivery; processing; protocols; real-time delivery; reliable delivery; transmission; Application software; Automata; Automatic control; Communication system control; Formal specifications; Multimedia databases; Performance gain; Protocols; TCPIP; Telecommunication control;
  • fLanguage
    English
  • Journal_Title
    Selected Areas in Communications, IEEE Journal on
  • Publisher
    ieee
  • ISSN
    0733-8716
  • Type

    jour

  • DOI
    10.1109/49.669042
  • Filename
    669042