The ELSIM language: an FSM-based language for the ELSIM SEE
Loading...
Authors
Du Plessis, A.L.
Bornman, C.H.
Issue Date
1987
Type
Article
Language
en
Keywords
Alternative Title
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.
Description
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
Publisher
Computer Society of South Africa (on behalf of SAICSIT)
License
Journal
Volume
Issue
PubMed ID
DOI
ISSN
0254-2757