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
Link To Document