Abstract
This article presents an approach and a tool for specification simulations accomplished in the Formal Description Technique (FDT) Enhancements to Language of Temporal Ordering Specification (E-LOTOS). Based on 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 the tool, a multimedia application design, specification and simulation is discussed.