Hierarchical Design of Adaptive Automata Models
Author(s) -
Ricardo Luis de Azevedo da Rocha
Publication year - 2017
Publication title -
procedia computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.334
H-Index - 76
ISSN - 1877-0509
DOI - 10.1016/j.procs.2017.05.434
Subject(s) - computer science , automaton , notation , theoretical computer science , process (computing) , decomposition , finite state machine , programming language , mathematics , ecology , arithmetic , biology
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom