Operational semantics of a kernel of the language ELECTRE. (English) Zbl 0769.68085

Summary: The real-time language ELECTRE describes behaviours of a real-time application using tasks called modules. Tasks are activated and pre- empted by events that come either from tasks themselves or from the controlled real-time application. To describe a current state of the application one needs both a program ELECTRE and the history of past event occurrences. We give operational semantics for a kernel of the language using a transition system whose transitions are calculated by attribute evaluation on a context-free grammar. It proves that any event occurrence turns any state into a new one, in a deterministic way.


68Q55 Semantics in the theory of computing


Full Text: DOI


[1] Berry, G.; Couronne, P.; Gonthier, G., Synchronous programming of reactive systems: an introduction to ESTEREL, Rapport INRIA no. 646, (1986) · Zbl 0662.68028
[2] Caspi, P.; Pilaud, D.; Halbwachs, N.; Plaice, J.A., LUSTRE: a declarative language for programming synchronous systems, Proc. 14th ACM symp. on principles of programming languages, 178-188, (1987), Munich
[3] Elloy, J.P.; Roux, O., Electre; a language for control structuring in real time, Comput. J., 28, 5, 229-234, (1985)
[4] Knuth, D.E., Semantics of context-free languages, Math. systems theory, 2, 2, 127-145, (1968) · Zbl 0169.01401
[5] Knuth, D.E., Semantics of context-free languages, Math. systems theory, 5, 1, 95-96, (1971), Correction · Zbl 0219.68035
[6] Knuth, D.E.; Bendix, P., Simple word problems in universal algebras, (), 263-297 · Zbl 0188.04902
[7] Le Guernic, P.; Benveniste, A.; Bournai, P.; Gautier, T., SIGNAL: a data-flow oriented language for signal processing, IEEE trans. acoust. speech signal process, 34, 2, 362-374, (1986) · Zbl 0601.68028
[8] Plotkin, G.D., A structural approach to operational semantics, () · Zbl 0512.68012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.