Specification of E-LOTOS system in the E-DART environment

Presents the E-DART (Enhancements to Diagrams for Architectural RepresenTation), a graphical environment for the specification of systems based on graphic constructions for the formal description technique E-LOTOS (Enhancements to LOTOS). The use of diagrams reduces the complexity of the specifications, making E-LOTOS accessible even to users who are not familiar with a formal description technique. A new graphic syntax was created, as well as a specification tool, the E-DART Editor, that supports the new syntax. A translating module, from graphic specifications to the E-LOTOS syntax, is also part of the environment. The main purpose is to provide a new way to allow the user to specify time-dependent systems in a graphical approach, abstracting the largest complexities of the E-LOTOS textual syntax.