Proceedings of the VIth International Workshop 'Critical Infrastructures: Contingency Management, Intelligent, Agent-Based, Cloud Computing and Cyber Security' (IWCI 2019)

Analytical Software for Operating With a Set of real and Virtual Objects Using the Rules of Cartesian Closed Category

Authors
Gennadiy Kulikov, Vyacheslav Antonov, Almira Fakhrullina, Maria Shilina, Lyudmila Rodionova
Corresponding Author
Gennadiy Kulikov
Available Online September 2019.
DOI
https://doi.org/10.2991/iwci-19.2019.30How to use a DOI?
Keywords
analytical software; systems engineering; the principle of semantic transformation and semantic differentials; the theory of sets categories; real and virtual objects; Cartesian closed category
Abstract
In the paper the problem of formalization and identification of real and virtual information objects and traceability of their relations in the studied subject domain using the rules of monomorphism and polymorphism of the mathematical theory of sets and categories is investigated. According to the principles of the systems engineering standard ISO/IEC 15288 models and methods of analytical software creation are developed. It is shown that the structure of such analytical software meets the conditions of Cartesian closed logic that considerably expands the range of tasks, which can be solved using this software. This is made possible because the effective reengineering of the software can be carried out in real time mode without any changes of its program code. The formalized description of the relations between virtual and real objects using the rules of data storages is offered. The method of creation of Chomsky hierarchies and a method of Osgood’s semantic differentials are applied. As an example the structure of the distributed analytical software of the talent pool management of the industrial enterprise formed together with educational institutions of the higher education is considered.
Open Access
This is an open access article distributed under the CC BY-NC license.

Download article (PDF)

Cite this article

TY  - CONF
AU  - Gennadiy Kulikov
AU  - Vyacheslav Antonov
AU  - Almira Fakhrullina
AU  - Maria Shilina
AU  - Lyudmila Rodionova
PY  - 2019/09
DA  - 2019/09
TI  - Analytical Software for Operating With a Set of real and Virtual Objects Using the Rules of Cartesian  Closed Category
BT  - VIth International Workshop 'Critical Infrastructures: Contingency Management, Intelligent, Agent-Based, Cloud Computing and Cyber Security' (IWCI 2019)
PB  - Atlantis Press
SP  - 173
EP  - 178
SN  - 1951-6851
UR  - https://doi.org/10.2991/iwci-19.2019.30
DO  - https://doi.org/10.2991/iwci-19.2019.30
ID  - Kulikov2019/09
ER  -