Towards Conflict Resolution Methods in Process-Oriented Programs
Dmitry A. Permiashkin · 2023
In the modern world manufactures and industrial processes are controlled by microcomputers. Those microcomputers, for example in form of programmable logic controllers, execute programs with a huge amount of parallel processes which are connected through numerous shared real world objects. There are several paradigms which solve problems of specifying and implementing control algorithms, e. g. execution problems connected to non-deterministic behaviour. One such paradigm is process-oriented programming which was proposed at IA&E SB RAS. The paradigm was used in large-scale projects and proves its effectiveness for the domain. The problem is that the current requirements for the manufactures include a high fault tolerance, and the ideas from Industry 4.0 require an even higher tolerance for implementation which includes minimization of the damages during malfunctioning. The paper describes the problem of conflicts in process-oriented programs and discusses an approach to increase the execution reliability of process-oriented programs. This work shows that solving non-deterministic behaviour is not enough and the ordering of the processes is also important to avoid conflicts between different processes and achieve the requirements. Provided classification should help further works t o develop automated tools for conflict detection and possible automated conflict solving.