In:
Автоматизация процессов управления, Federal Research and Production Center Joint-Stock Company - Mars - Research and Production Assoc, Vol. 4, No. 66 ( 2021), p. 95-103
Kurzfassung:
The article describes the methods and tools for developing and verifying a formal model of a set of requirements to the automated management systems for complicated organizational and technical systems in accordance with the methodology of the model-oriented approach. A classification characteristics quality of a set of requirements is proposed. The methodology and means of automated development of a formal model of a set of requirements, its transformation and loading into the environment of the Neo4j graph database are presented. Methods and means of verification and validation of a set of requirements by creating and executing test tasks and queries in the Cypher language are proposed. Promising areas of further research are identified.
Materialart:
Online-Ressource
ISSN:
1991-2927
Originaltitel:
МЕТОДЫ И СРЕДСТВА РАЗРАБОТКИ И ВЕРИФИКАЦИИ UML-МОДЕЛЕЙ КОМПЛЕКСА ТРЕБОВАНИЙ К АВТОМАТИЗИРОВАННЫМ СИСТЕМАМ УПРАВЛЕНИЯ ОРГАНИЗАЦИОННО-ТЕХНИЧЕСКИМИ СИСТЕМАМИ
DOI:
10.35752/1991-2927-2021-4-66-95-103
Sprache:
Unbekannt
Verlag:
Federal Research and Production Center Joint-Stock Company - Mars - Research and Production Assoc
Publikationsdatum:
2021
ZDB Id:
2916829-6