| Structure Formalization of Management Information System Software |
|
 |
|
|
| Authors |
| | Ivannikov A.D. |
| Date of publication |
| | 2021 |
| DOI |
| | 10.31114/2078-7707-2021-4-67-72 |
|
| Abstract |
| | On the algebraic approach basis the concept of an operator over the memory of digital systems is formal-ized, the concept of generalized memory is introduced, which includes, in addition to the memory itself and registers, the state of the active label of the operator and also the time value, the functional of the operator over the generalized memory is formalized. The analysis of the structure of the domain of definition and the range of values of the operator is carried out. The concept of a product of operators is introduced, the condition for the existence of the introduced product is formulated. It is shown that the program of a digital system is a product of operators, the set of which is a semi-group. The developed formal model is supposed to be used to create an effective system for the auto-mated generation of test examples for software of digital systems. |
| Keywords |
| | software model, program as a product of operators, algebraic model, generalized memory operators. |
| Library reference |
| | Ivannikov A.D. Structure Formalization of Management Information System Software // Problems of Perspective Micro- and Nanoelectronic Systems Development - 2021. Issue 4. P. 67-72. doi:10.31114/2078-7707-2021-4-67-72 |
| URL of paper |
| | http://www.mes-conference.ru/data/year2021/pdf/D042.pdf |
