Analytical Software for Operating With a Set of real and Virtual Objects Using the Rules of Cartesian Closed Category
- 10.2991/iwci-19.2019.30How to use a DOI?
- analytical software; systems engineering; the principle of semantic transformation and semantic differentials; the theory of sets categories; real and virtual objects; Cartesian closed category
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.
- © 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 - 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 - Proceedings of the 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 - 10.2991/iwci-19.2019.30 ID - Kulikov2019/09 ER -