SGOLOT: A visual tool for structural LOTOS specifications

摘要

LOTOS is a Formal Description Technique (FDT) that has a strong and obscure textual algebraic notation that is dificult in readability. We have develped a tool that allows to design visual specifications and generate the LOTOS equivalent code. With this tool a lot of time is saved in the specification phase of system simulation.