An automata-based programming engine
Journal: Scientific and Technical Journal of Information Technologies, Mechanics and Optics (Vol.21, No. 4)Publication Date: 2021-08-24
Authors : Dagaev D.V.;
Page : 525-534
Keywords : automata-based programming; data-oriented programming; Liskov substitution principle; Oberon; Component Pascal;
Abstract
Automata-based programming considers program systems construction as finite state machines that demonstrate state-based behavior. This paper analyzes approaches to data structures and their realization in different programming paradigms. The requirements for automata style implementations are estimated for actual tasks. It is shown that automatabased algorithms need approaches beyond the standard object-oriented inheritance and polymorphism. The Liskov substitution principle is considered as an implementation base instead them. Data-oriented programming approach and in particular data and code separation form the backbone of the engine. The work describes the automata data structure and code-data interaction. The dynamically loaded modules and representations of data, code and schemes provide the main building blocks. Automata-based programming engine conception is introduced to clue all above. This engine supports distributed systems referencing. In order to implement an automata-based programming engine, the pilot project has to meet a set of requirements, including modular programming support, extended metadata availability and code-free read-only data access. Oberon/Component Pascal programming language is therefore chosen, along with a BlackBox Component Builder graphical environment. Automata-based programming engine prototype is implemented as Abpe subsystem for BlackBox. Several example automata-based modules demonstrate functional interacting programs.
Other Latest Articles
- Determination of dangerous driving behavior based on the use of information from wearable electronic devices
- Decision support system for the proton therapy implementation
- Context-free path querying with all-path semantics using matrices with sets of intermediate vertices
- A study of the stability of information and telecommunication networks under conditions of stochastic percolation of nodes
- A factor model for detection and recognition of human face contours and elements
Last modified: 2021-08-24 16:52:07