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