MODIFICATION OF AUTOMATA PROGRAMS

Pavel Fedotov, Oleg Stepanov

2011 , VOLUME 11, NUMBER 1 ( JANUARY-FEBRUARY )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

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

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License