Method of Designing a Software Analytical Complex Based on a Cartesian Closed Category Using Virtual Objects
- 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/).
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 -