Анализ цепочек причинно-следственных связей

Работа посвящена анализу возможностей использования причинно-следственных связей для контроля выполнения информационных технологий (ИТ) в распределенных информационных системах (РИС). Для проведения этого анализа построен простой пример фрагмента некоторой фиксированной ИТ, в котором разобраны ситуации, когда контроль может опираться на причинно-следственные связи между действиями в ИТ и когда предполагаемые причинно-следственные связи просто не существуют. Показана ограниченность возможностей использования причинно-следственных связей для повышения доверия к результатам сложных компьютерных вычислений. Эта ограниченность основана на том, что для получения причинно-следственных связей в ожидании определенного следствия часто невозможно контролировать связи характеристик, обязательных для того, чтобы искомое следствие вытекало из действий, которые предполагаются его причиной. Для использования причинно-следственных связей в ИТ необходимо дополнять действия ИТ действиями по контролю связей между характеристиками. Без этого условия правильно построенная последовательность действий ИТ становится необходимым, но не достаточным условием ожидаемого следствия.