MODIFICATION OF AUTOMATA PROGRAMS

P. . Fedotov, O. . Stepanov


Read the full article 

Abstract

The method of automata-based programs modification is described in the paper that allows decreasing the
number of changes which may lead to error appearance. The method is based on automata refactoring –
sequence of small equivalent modifications keeping behavior. A number of automata refactorings is suggested which extends a list of standard refactorings on automata-based programming case.


Keywords: automata-based programming, state machines, modification, refactoring
Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика