Formal Representation of the Model of the Designed Software-Analytical Complex Based on the Principle of the Necessary Variety of Structural Relationships

DOI

10.2991/aisr.k.201029.043How to use a DOI?

Keywords

virtual object, digital double, formal model, category theory, state electronic services

Abstract

The paper considers an applied approach to solving computer science problems in the framework of Cartesian closed categories to provide the necessary variety of structural connections when designing a software analytical complex taking into account the decision support system. The article considers the application of category theory to solve the problem of integration (presentation) of various software engineering technologies in a single form, for their formalized application as part of the overall design cycle of software and analytical systems. Universal category-theoretic semantic models of domain objects and their relations are constructed. On the basis of the proposed methodology, the creation of a digital twin for interaction with the subject area is considered. Subject area, has a systemic representation based on the fundamental laws of formal logic. The possibility of building hierarchical chains of electronic administrative regulations interacting with each other, which also correspond to the concept of categories, that is, some combination of regulations is a category, is shown. Proposed is a measure of estimation of proximity of a model to a real object, which is necessary for formation of a digital twin of the system. The results of the research were used in the development of the process of providing state and municipal services to citizens of the Russian Federation in electronic form. They improve the efficiency and quality of organizational and functional process management.

Copyright

© 2020, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Kulikov Gennady
AU  - Navalikhina Nadezhda
AU  - Antonov Vyacheslav
AU  - Shilina Maria
AU  - Rodionova Lyudmila
PY  - 2020
DA  - 2020/11/10
TI  - Formal Representation of the Model of the Designed Software-Analytical Complex Based on the Principle of the Necessary Variety of Structural Relationships
BT  - Proceedings of the 8th Scientific Conference on Information Technologies for Intelligent Decision Making Support (ITIDS 2020)
PB  - Atlantis Press
SP  - 222
EP  - 227
SN  - 1951-6851
UR  - https://doi.org/10.2991/aisr.k.201029.043
DO  - 10.2991/aisr.k.201029.043
ID  - Gennady2020
ER  -