A graphical G-LOTOS editor defined by meta-tool LOGGIE
Björn Backlund, Tommaso Bolognesi, Olof Hagsand, Diego Latella, Björn Pehrson · Diva portal (Dalarna University Library) · 1989
We present a prototype implementation of a graphical editor for a subset of G-LOTOS. The graphical G-LOTOS syntax is beeing standardized within ISO for the LOTOS specification language. First, we provide a formal definition of the G-LOTOS subset. Then, the specification the editor is derived from this formal definition. Finally, the editor is generated automatically using the LOGGIE meta-tool.