Данная работа рассматривает особенности тупиковых ситуаций в информационных системах, содержит анализ процесса на высоком уровне описания проблемы. В работе рассмотрены существующие на сегодняшний день методы поиска и решения тупиков, а также проведен их анализ, выделены преимущества и недостатки. Исследована возможность использования теории алгебры процессов для задач поиска и решения тупиков. В работе предложен метод решения тупиков и проверки правильности функционирования системы после устранения тупиковой ситуации. ИНФОРМАЦИОННАЯ СИСТЕМА, ПРОЦЕСС, СОБЫТИЕ, ОС, ТУПИКОВАЯ СИТУАЦИЯ, WAIT-FOR ГРАФ, ГРАФ РАСПРЕДЕЛЕНИЯ РЕСУРСОВ, OR-МОДЕЛЬ, UML, АЛГЕБРА ПРОЦЕССОВ, CCS, LTS, БИСИМУЛЯЦИЯ. This paper is about the features of the deadlock problem in information systems. It provides an analysis of the process at a high level of the problem. The paper discusses the currently existing methods for deadlock resolving, and their analysis are highlighted advantages and disadvantages. The possibility of using the theory of process algebra for searching and resolving deadlocks. This paper presents a method for solving the deadlock and verify the correcness of the system after the deadlock removal. INFORMATION SYSTEM, PROCESS, EVENT, OS, DEADLOCK, WAIT-FOR RAPH, RESOURSE ALLOCATION GRAPH, OR-MODEL, UML, PROCESS ALGEBRA, CCS, LTS, BISIMULATION, WAIT-FOR RELATIONS.
