The ELSIM language: an FSM-based language for the ELSIM SEE

dc.contributor.author	Du Plessis, L
dc.contributor.author	Borman, C
dc.contributor.editor	Kritzinger, P.
dc.date.accessioned	2018-07-31T13:02:07Z
dc.date.available	2018-07-31T13:02:07Z
dc.date.issued	1987
dc.identifier.citation	Du Plessis, L & Borman, C. (1987) The ELSIM language: an FSM-based language for the ELSIM SEE. Proceedings of the 4th South African Computer Symposium, Holiday Inn, Pretoria, 1-3 July 1987, edited by P. Kritzinger (UCT).	en
dc.identifier.uri	http://hdl.handle.net/10500/24508
dc.description.abstract	A formal requirements specification language, the ELSIM language, is presented. The language uses conceptual models for modelling data processing, and control characteristics and behaviour of real-time systems, and is structured into two sections, an analysis section and a design section. An extended finite-state machine model is used for modelling the control features of a system. The ELSIM language incorporates the terminology, syntax and semantics of the related real-time methodology (ELSIM). The full power of the language is realised when using it within the Software Engineering Environment developed under the SEM system. The formal nature of the language allows checking for completeness and consistency of the target system specification.	en
dc.language.iso	en	en
dc.title	The ELSIM language: an FSM-based language for the ELSIM SEE	en