An Edit and Compile Software which can automatically Translate E LOTOS into Graphic E LOTOS
Zhao Yu · Acta Scientiarum Naturalium Universitatis Neimongol · 1999
E LOTOS is an enhancement to formal description technology LOTOS.This paper first proposes a graphical respresentation,called GE LOTOS,of E LOTOS.Then we have developed an editing and compiling software of tools which can automaticaly translate E LOTOS into Graphic E LOTOS using Java. The compile software not only present E LOTOS in the form of abstract level and will provide a good environment for further system research.