Formalization and Investigation of Parallel Processes Dispatching

Romansky, Radi

doi:10.1109/infotech55606.2022.9897104

Cited by 2 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The main essence of a model study is to replace the original object Ω O with another object-model Ω M through which the properties or behavior in certain situations of the original are studied by experimenting with the model [22].…”

Section: Methodsmentioning

confidence: 99%

An Approach for Mathematical Modeling and Investigation of Computer Processes at a Macro Level

Romansky

2020

Mathematics

View full text Add to dashboard Cite

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.

show abstract

Section: Methodsmentioning

confidence: 99%

An Approach for Mathematical Modeling and Investigation of Computer Processes at a Macro Level

Romansky

2020

Mathematics

View full text Add to dashboard Cite

show abstract

Computer Systems and Processes as an Object of Modeling

2023

Deterministic and Stochastic Approaches in Computer Modeling and Simulation

View full text Add to dashboard Cite

The chapter is devoted to the main objects that will be discussed in this book (structures, systems, processes) in the field of computing. A brief review has been made, starting from specifying the role of “information” and “information processing,” in order to specify the place of the technological environment for the implementation of information processes and to define its main functionalities. Given that the technological environment is a computer implementation, the two basic levels are presented – high user level (macro-level) and low internal machine level (micro-level) with an initial formalization of basic system resources. The main object of analysis is the performance with its factors (performance indices) which are defined and which have an impact on the workload of the computing environment based on input workflow. In this respect, a formal description of workload and specifying the role of the process profile are presented. In addition, a formalization of information technology is presented.

show abstract

Formalization and Investigation of Parallel Processes Dispatching

Cited by 2 publications

References 9 publications

An Approach for Mathematical Modeling and Investigation of Computer Processes at a Macro Level

An Approach for Mathematical Modeling and Investigation of Computer Processes at a Macro Level

Computer Systems and Processes as an Object of Modeling

Contact Info

Product

Resources

About