The ELSIM language: an FSM-based language for the ELSIM SEE
Loading...
Authors
Du Plessis, L
Borman, C
Issue Date
1987
Type
Language
en
Keywords
Alternative Title
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.
Description
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).