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

dc.contributor.author	Du Plessis, A.L.
dc.contributor.author	Bornman, C.H.
dc.date.accessioned	2018-06-04T15:20:29Z
dc.date.available	2018-06-04T15:20:29Z
dc.date.issued	1987
dc.identifier.citation	A L du Plessis CH Bornman (1987) The ELSIM language: an FSM-based language for the ELSIM SEE. Quaestiones Informaticae Vol 5 No 3 1987	en
dc.identifier.issn	0254-2757
dc.identifier.uri	http://hdl.handle.net/10500/24243
dc.description.abstract	A fonnal requirements specification language, the ELSIM language, is presented. The language uses conceptual models for modelling data processing, and control characteristics and behavior 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 real-time methodology (ELSIM). The full power of the language is realised when using it within the Software Environment developed under the SEM System. The fonnal nature of the language allows checking for completeness and consistency of the target system specification.	en
dc.language.iso	en	en
dc.publisher	Computer Society of South Africa (on behalf of SAICSIT)	en
dc.title	The ELSIM language: an FSM-based language for the ELSIM SEE	en
dc.type	Article	en
dc.description.department	School of Computing	en