Restricción de transición

Una restricción de transición es una forma de garantizar que los datos no entren en un estado imposible debido a un estado anterior. Por ejemplo, no debería ser posible que una persona pase de estar "casada" a estar "soltera, nunca se ha casado". Los únicos estados válidos después de "casada" podrían ser "divorciada", "viuda" o "fallecida".

Esta es la interpretación del término centrada en las bases de datos.

En los modelos formales de seguridad informática, una restricción de transición es una propiedad que rige toda transición válida de un estado del modelo a un estado sucesor. Puede considerarse complementaria a los criterios de estado que se refieren a los estados en sí, pero que no influyen en las transiciones entre estados sucesivos.

• Modelado de restricciones de transición (ResearchIndex)