VFSM executable specification

Author

Wagner, F.

fYear

1992

fDate

4-8 May 1992

Firstpage

226

Lastpage

231

Abstract

A software design method is presented, based on a virtual finite state machine (VFSM) concept. The concept defines a virtual environment that allows the finite state machine to be an entirely table driven software module. A hybrid finite state model is used to achieve a superior design clarity. The method separates the control part of the design problem from the data manipulation part. The specification of the control part is directly executable. The control part is not coded. It is expressed in a table that is executed by the virtual finite state machine executor. The concept of virtual environment has been utilized for the design of complex software control systems.<>

Keywords

finite state machines; formal specification; virtual machines; VFSM; complex software control systems; control part; data manipulation; design problem; hybrid finite state model; software design method; superior design clarity; table driven software module; virtual environment; virtual finite state machine; Automata; Computer languages; Information resources; Operating systems; Programming profession; Software design; Switches; Temperature control; Testing; Virtual environment;

fLanguage

English

Publisher

ieee

Conference_Titel

CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.

Conference_Location

The Hague, Netherlands

Print_ISBN

0-8186-2760-3

Type

conf

DOI

10.1109/CMPEUR.1992.218505

Filename

218505