Slate-Based Programming

Henceforth automata approach was spread to the event-based (reactive) systems. In systems of this kind all limitations, mentioned above are taken away. It isobvious from the name of these systems that events are used among the input actions. The Role of output actions could be played by arbitrary functions. Any real-time operating system could be used as an environment. For programming for event-based systems with the help of automata a procedural approach to software developing was used. So this kind of programming was called as "state-based programming". Using this method output actions are assigned to the arcs, loops or nodes of the transition graphs (mixed automata are to be used — Moore-Mealy automats). This allows to present sequences of actions, which are reactions to corresponding input actions, in the compact form. On the features of programming for the reactive systems is that liquidation of logic in the event handlers and forming of a system of interacting automata, which are called from these handlers, causes logic centralization. Automata in such a system can interact by nesting, by calling ability and with the help of state numbers interchange.

The system of interconnected automata forms is a system-independent part of software. At the same time system-dependent part is formed by functions of input and output actions, event handlers and so on. Another important feature of this approach is that automata in it is used thrice; for specification, for implementation (they stay in the source code) and for drawing up the protocol, which is performed.

Last property allows to verify the propriety of automata system functioning. Logging is performed automatically, it is based on the created program. This mechanism could be also used for large scale tasks and for a task with difficult, smeared software logic.

Any drawn up protocol could be considered as the action script. For the large tasks it is impossible to use sequence diagrams, cooperation diagrams, which are parts of UML language. That is because usage of UML language listed diagrams are suggested to be drawn up manually on the phase of developing. In automata-based programming protocols will be build automatically at the run-time.

Automata approach is offered to be used not only for controlling system developing, but also for objects of control modeling. This method was approved on the task of developing of controlling system for a ship diesel generator. Mentioned system was specified with help of more than thirteen interacting automata. For describing of a model of the diesel generator automata was also used, while designing each automaton was provided with four following documents:

• verbal description ("expectancies declaration");

• bonds scheme, which explains on the human language all symbols which are involved in automatons interface;

• state transition graph with symbolic indication of events, input and output actions;

• source code of program module, which realizes state transition graph (also without usage of meaningful identifiers and comments).

These documents replace self documenting programs, which contains meaningful identifiers and comments. These standard facilities cannot ensure understandability and clearness of the source code for further developing, modifying and enlarging. This problem for difficult logic cannot be solved also with the help of self documenting state transition graphs.

Tins project had been implemented for computing system with architecture ix86. Henceforward described approach was evolved by N.I. Tukkel developing systems for micro-controllers.

Advantage of automata technology is that all design may be done on personal computer using Switch-technology and only on last phase of developing software could be ported to a microcontroller.

Task 2. Answer the following questions:

Задание 2. Ответьте на следующие вопросы:

1. Has a great attention been paid in recent years?

2. Have these systems special requirements for the quality of software?

3. Could this method be considered as a type of synchronous programming?

4. The term event in programming has been used wider and wider in programming, hasn't it been?

5. Were formal methods of program developing for such kind of devices offered?

6. Did henceforth automata approach spread to the event based systems?

7. Any real-time operating system used as an environment, didn't it?

8. Did this method approve on the task of developing of controlling system for a generator?

9. Did mentioned system specify with help of more than thirteen interacting automata?

Task 3. Make up the sentences:

Задание 3. Сопоставьте левую и правую колонки так, чтобы получились предложения:

• That is why, the sort of programming     • These methods are   • In recent years great attention has been   • This method   • Automata in such a system   • So the process of software

• paid to the development of the technology of programming for the embedded systems and real-time systems. • could be considered as a type of synchronous programming. • creation could be named "automata software design". • which is based on this term was called "automata-based programming" in paper. • can interact by nesting, by calling ability and with the help of state numbers inter change. • based on the giving specification for the developing project with the help of set of connected transition graphs.

Task 4. Find the sentences with the words and word — combinations given below in the text:

Задание 4. Найдите в тексте предложения, содержащие нижеследующие слова и выражения:

• a technology of programming

• synchronous programming

• a software development

• computing devices

• a searing mode

• input actions

• an automata system

• standard facilities

• a computing system

Task 5. Complete the sentences according to the text:

Задание 5. Закончите предложения:

1. These systems have....

2. Nowadays a technology is been....

3. The term event in the programming has been …..

4. In work formal methods....

5. These methods are based....

6.... it is based on the created program.

7. This paper describes....

8.... which contains meaningful identifiers and comments.

9. Any drawn up protocol could be.....

10. This project had been....

Task 6. Are the sentences given below true or false?:

Задание 6. Определите истинность или ложность следующих предложений:

1. These methods could be considered as a type of synchronous programming.

2. That is why the sort of programming, which is based on this term was called "state-based programming" in paper.

3. That is why the technology of "state-based programming" in paper was called as "switch-technology".

4. So this king of programming was called as "state-based programming".

5. After addition of the term "output action", the term "input action" could be brought in.

6. Using offered approach, programming is to be performed using the concept of "state" and of "flag variables".

7. Henceforward described approach was evolved by N. I. Tukkel developing systems for microcontrollers.

8. In automata-based programming protocols will be build automatically at the real-time.

Task 7. Make up the sentences:

Задание 7. Составьте предложения:

1. Event, the, the, has, term, in, used, been, programming, and, wider, in, programming.

2. The, after, of, term, "automaton", brought, be, addition, "output action", the, term, could, in.

3. This, been, for, project, system, had, with, ix86 architecture, implemented, computing.

4. Of, is, advantage, that, may, all, technology, be, personal, on, automata, design, done, using, computer.

Task 8. Make the sentences negative and interrogative:

Задание 8. Преобразуйте следующие предложения в вопросительную и отрицательную форму:

1. In recent years a great attention has been paid to the development of the technology of programming for the embedded systems and real - time systems.

2. The process of software creation could be named "automata software design".

3. This allows to introduce in programming the term "program observability".

4. It allows to understand and specify the task and its parts better.

5. The technology of "automata-based programming" in paper was called as "Switch-technology".

6. In 1996 Russian Fund for Fundamental Investigations in the context of publishing project N° 96-01-14066.

7. Henceforth automata approach was spread to the event-based (reactive) systems.

8. Last type of interaction is described in work.

9. Last property allows to verify the propriety of automata system functioning.

10. Logging is performed automatically.

11. This mechanism could be also used for large scale tasks.

12. Mentioned system was specified with help of more than thirteen interacting automata.

13. These documents replace self documenting programs.

14. This project had been implemented for computing system with architecture ix86.