Simulator for E-LOTOS specifications

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.

[1]  Henk Eertink,et al.  The Term Processor Generator Kimwitu , 1997, TACAS.

[2]  Henk Eertink,et al.  Symbolic execution of LOTOS specifications , 1992, Formal Techniques for (Networked and) Distributed Systems.

[3]  Conrado Daws,et al.  Verifying ET-LOTOS programmes with KRONOS , 1994, FORTE.

[4]  Axel Belinfante,et al.  The term processor Kimwitu, manual and cookbook , 2000 .