ULg Research Unit in Networking RUN

A LOTOS Data Facility Compiler (DAFY)

E. Lallemand1 and G. Leduc1

1 Research unit in Networking, EECS department, University of Liège, Belgium



If we take a look at existing LOTOS specifications, we notice that the description of the needed data types is often very huge. This causes the lack of concision of most descriptions of complex systems. We propose to tackle this problem in two steps. First, we define extensions to the LOTOS Language allowing short definitions of most of the data types used in practical LOTOS specifications. Second, we propose a tool called "DAFY" (Data Facility Compiler) which is able to translate the extensions into the standard LOTOS.

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: RUN | Montefiore | ULg
© 2000-2015.