Hierarchical Design of Adaptive Automata Models
Ricardo Luis de Azevedo da Rocha · Procedia Computer Science · 2017
The purpose of this paper is to devise a method for the design of adaptive automaton models using functional decomposition. One of the biggest challenges faced by researchers is to restrain side effects asserting design features. We defined a formal notation to structure the process; this allows the developer to build an adaptive automaton in a hierarchical way. As a result, we proved that the design method preserves some properties (determinism). Furthermore, we present an example of an evaluation of the process.