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 :
بازگشت