Ограничение перехода - Transition constraint

А ограничение перехода это способ обеспечить, чтобы данные не переходили в невозможное состояние из-за предыдущего состояния. Например, у человека не должно быть возможности перейти от «женатого» к «холостому, никогда не состоящему в браке». Единственными действительными состояниями после «замужем» могут быть «разведен», «овдовел» или «умер».

Это интерпретация термина, ориентированная на базу данных.

В формальные модели в компьютерной безопасности ограничение перехода - это свойство, которое управляет каждым допустимым переходом из состояния модели в состояние-преемник. Его можно рассматривать как дополнение к государственные критерии которые относятся к состояниям как таковым, но не имеют отношения к переходам между последовательными состояниями.

Рекомендации