|Research Unit in Networking|
and G. Leduc1
1 Research unit in Networking, EECS department, University of Liège, Belgium
AbstractIf 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.
Editor: - G. Leduc -
Webmaster: - C. Soldani -
|Still running IPv4 at: 220.127.116.11...||