Proceedings of the 21st International Workshop on Computer Science and Information Technologies (CSIT 2019)

Method of Designing a Software Analytical Complex Based on a Cartesian Closed Category Using Virtual Objects

Authors
Gennady Kulikov, Vyacheslav Antonov, Maria Shilina, Lyudmila Rodionova
Corresponding Author
Gennady Kulikov
Available Online December 2019.
DOI
10.2991/csit-19.2019.22How to use a DOI?
Keywords
Cartesian closed category; virtual and real objects; formal model; subject area; identifiability and traceability.Introduction
Abstract

The article examines the problem of formalization and identification of information objects (real and virtual) and traceability of their relations in the studied subject area according to the rules of monomorphism and polymorphism of the mathematical theory of categories of sets. Based on these conditions, a formal model of interaction processes of the components of a software analytical complex with a Cartesian closed category and a set-theoretic method for mapping the functional interaction of software systems in accordance with the principles of ISO 15288 are developed. It is shown that the structure of such software analysis complex satisfies the conditions of Cartesian closed logic, which significantly increases the range of tasks. This is achieved by possibly conducting effective software reengineering without changing its base code in real time. A formalized description of the relationship between virtual and real objects in symbolic form according to the rules of the data warehouse is proposed. The method of constructing hierarchies by N. Chomsky and the method of semantic differentials by C. Osgood are applied. As an example, the structure of a distributed software analytical complex for managing the personnel reserve of an industrial enterprise, which is being developed jointly with educational institutions of higher education, has been modified.

Copyright
© 2019, 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)

Volume Title
Proceedings of the 21st International Workshop on Computer Science and Information Technologies (CSIT 2019)
Series
Atlantis Highlights in Computer Sciences
Publication Date
December 2019
ISBN
978-94-6252-868-0
ISSN
2589-4900
DOI
10.2991/csit-19.2019.22How to use a DOI?
Copyright
© 2019, 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/).

Cite this article

TY  - CONF
AU  - Gennady Kulikov
AU  - Vyacheslav Antonov
AU  - Maria Shilina
AU  - Lyudmila Rodionova
PY  - 2019/12
DA  - 2019/12
TI  - Method of Designing a Software Analytical Complex Based on a Cartesian Closed Category Using Virtual Objects
BT  - Proceedings of the 21st International Workshop on Computer Science and Information Technologies (CSIT 2019)
PB  - Atlantis Press
SP  - 131
EP  - 136
SN  - 2589-4900
UR  - https://doi.org/10.2991/csit-19.2019.22
DO  - 10.2991/csit-19.2019.22
ID  - Kulikov2019/12
ER  -