Compilation of LOTOS Abstract Data Types

Hubert Garavel

Proceedings of the 2nd International Conference on Formal Description Techniques FORTE'89 (Vancouver B.C., Canada), pages 147-162, December 1989


This article describes an experiment with the compilation of the data part of LOTOS. Using a pattern-matching compiling algorithm described in [SchnoEbelen-88-b], a tool named CAESAR.ADT was developed. It enables LOTOS abstract types to be translated automatically into corresponding concrete types, implemented in the C language. This paper intends to give a fair idea of the usefulness of this algorithm, when it is combined with appropriate data representations. On several case studies taken from OSI descriptions, this paper explains the basic principles of the translation and shows the great quality of the generated code, which is likely to have better performances than other existing approaches.

20 pages, full revised version


Slides of H. Garavel's lecture at FORTE'89