GLOW 3.0 - A Graphical LOTOS Browser

GLOW 3.0 (or GLOW for short), is a Graphical LOTOS Browser, that is, a tool that allows one to produce, examine, modify, save and print graphical representations of any specification written in standard, textual LOTOS. Such graphical representations are conforming to the G-LOTOS syntax discussed in Chapter 20 of this book. Thus, GLOW can be used for enriching the documentation produced in the LOTOS-based software life cycle.