|
Abstract : |
This paper presents the implementation of an interpreter for the parallel language ESTEREL in the CENTAUR system. The dynamic semantics of the language is described and completed with two modules providing a graphical visualization of the execution and a graphical execution controller. The problems of implementing a parallel language using natural semantics and of providing a visualization for a parallel language are especially addressed. 1. The Logical Kernel of the Interpreter ESTEREL festerel] is a language involving parallelism and broadcast signal communication used for the description of reactive systems, i.e., systems that react to successions of events [reactive]. The command system for an airplane or the man-machine interface [gfxobj] for an interactive system like CENTAUR are two examples of such reactive systems. The interpreter described in this paper is based on a description of the dynamic semantics of ESTEREL written in natural semantics by the designers of the, |
