An Approach for Mathematical Modeling and Investigation of Computer Processes at a Macro Level
In the digital age, the role of information technology and computer processes is growing. This requires refining the development of software by optimizing the communications between program components and seeking effective interaction in the implementation of processes. Complex module structures are...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2020-10-01
|
| Series: | Mathematics |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2227-7390/8/10/1838 |
| _version_ | 1797550520620023808 |
|---|---|
| author | Radi Romansky |
| author_facet | Radi Romansky |
| author_sort | Radi Romansky |
| collection | DOAJ |
| description | In the digital age, the role of information technology and computer processes is growing. This requires refining the development of software by optimizing the communications between program components and seeking effective interaction in the implementation of processes. Complex module structures are usually developed, which require high compatibility between components and their proper functioning. The purpose of this article is to propose an approach for investigation of a set of connected computer processes executed on a macro level by using deterministic modelling. A formal technological procedure for conducting a deterministic investigation of the interaction between processes was developed. It allows for the transition from the object-original to an adequate mathematical model with its program realization. The core of the constructed procedure is the phases “mathematical formalization”, “mathematical description”, and “program realization”. The goal was to present an application of the procedure to investigate all possible realizations of connected processes, presented as nodes in a directed graph scheme of algorithms by determining the reachability. The program language APL2 was used as a tool for program description of the defined mathematical models, which were realized in the software system TryAPL2 for research automation. A preliminary mathematical formalization of interacting processes was made by presenting an example graph scheme and its transformation into an ordered structure. On the basis of the mathematical description, we developed two program models for automation of the transition to an ordered graph scheme and determination of all possible paths in it for activation of sequences of processes. The proposed models are part of a generalized environment for program investigation of the computer processing organization. |
| first_indexed | 2024-03-10T15:30:30Z |
| format | Article |
| id | doaj.art-5a3c50c34dcb4d45944e25e018c7244c |
| institution | Directory Open Access Journal |
| issn | 2227-7390 |
| language | English |
| last_indexed | 2024-03-10T15:30:30Z |
| publishDate | 2020-10-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Mathematics |
| spelling | doaj.art-5a3c50c34dcb4d45944e25e018c7244c2023-11-20T17:39:11ZengMDPI AGMathematics2227-73902020-10-01810183810.3390/math8101838An Approach for Mathematical Modeling and Investigation of Computer Processes at a Macro LevelRadi Romansky0Department of Informatics, Faculty of Applied Mathematics and Informatics, Technical University of Sofia, 1000 Sofia, BulgariaIn the digital age, the role of information technology and computer processes is growing. This requires refining the development of software by optimizing the communications between program components and seeking effective interaction in the implementation of processes. Complex module structures are usually developed, which require high compatibility between components and their proper functioning. The purpose of this article is to propose an approach for investigation of a set of connected computer processes executed on a macro level by using deterministic modelling. A formal technological procedure for conducting a deterministic investigation of the interaction between processes was developed. It allows for the transition from the object-original to an adequate mathematical model with its program realization. The core of the constructed procedure is the phases “mathematical formalization”, “mathematical description”, and “program realization”. The goal was to present an application of the procedure to investigate all possible realizations of connected processes, presented as nodes in a directed graph scheme of algorithms by determining the reachability. The program language APL2 was used as a tool for program description of the defined mathematical models, which were realized in the software system TryAPL2 for research automation. A preliminary mathematical formalization of interacting processes was made by presenting an example graph scheme and its transformation into an ordered structure. On the basis of the mathematical description, we developed two program models for automation of the transition to an ordered graph scheme and determination of all possible paths in it for activation of sequences of processes. The proposed models are part of a generalized environment for program investigation of the computer processing organization.https://www.mdpi.com/2227-7390/8/10/1838computingmathematical modellingdeterministic formalizationprocesses investigationassessments |
| spellingShingle | Radi Romansky An Approach for Mathematical Modeling and Investigation of Computer Processes at a Macro Level Mathematics computing mathematical modelling deterministic formalization processes investigation assessments |
| title | An Approach for Mathematical Modeling and Investigation of Computer Processes at a Macro Level |
| title_full | An Approach for Mathematical Modeling and Investigation of Computer Processes at a Macro Level |
| title_fullStr | An Approach for Mathematical Modeling and Investigation of Computer Processes at a Macro Level |
| title_full_unstemmed | An Approach for Mathematical Modeling and Investigation of Computer Processes at a Macro Level |
| title_short | An Approach for Mathematical Modeling and Investigation of Computer Processes at a Macro Level |
| title_sort | approach for mathematical modeling and investigation of computer processes at a macro level |
| topic | computing mathematical modelling deterministic formalization processes investigation assessments |
| url | https://www.mdpi.com/2227-7390/8/10/1838 |
| work_keys_str_mv | AT radiromansky anapproachformathematicalmodelingandinvestigationofcomputerprocessesatamacrolevel AT radiromansky approachformathematicalmodelingandinvestigationofcomputerprocessesatamacrolevel |