Simulator for E-LOTOS specifications
F.I. Massetto, Wanderley Lopes de Souza, Sérgio Donizetti Zorzo · 2003
This article presents an approach and tool for specification simulations accomplished in the formal description technique (FDT) enhancements to language of temporal ordering specification (E-LOTOS). Based on the defined inference rules for the E-LOTOS operators, the tool offers resources for interactive simulation, enabling the user to monitor the specification behavior. To illustrate the use of the approach and tool, a multimedia application design, specification and simulation is discussed.