Construction of systems with complex behavior on the principles of syntax-oriented control

Systems with complex behavior include event-driven software systems, called reactive systems in the academic literature, that is, systems that react to the same input action in different ways depending on their state and history. It is convenient to describe such systems using special language tools, both graphic and text. The article presents a technique for automated construction of systems with complex behavior using the developed language CIAO (Cooperative Interaction of Automata Objects), which allows formally specifying the required behavior based on an informal description of a responsive system. Further according to this specification a software system is generated in the C ++ programming language. Both graphical and textual notations are provided for the CIAO language. Graphic notation is based on an extended notation of state machine diagrams and component diagrams of the unified modeling language UML, which proved their worth in describing the behavior of event-driven systems. The text syntax of the CIAO language is described by a context-free grammar in regular form. The text syntax of the CIAO language is described by context-free grammar in regular form. Automatically generated C++ code allows using both library and any hand-written external functions. As an example, we have proposed an original solution to D. Knuth’s problem of a responsive elevator control system.