A graphical G-LOTOS editor defined by meta-tool LOGGIE

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.