Verificación de SMA

Propiedades de coherencia

Conjunto de garantías formales que aseguran la consistencia de la información y los comportamientos entre los diferentes agentes del sistema. La coherencia previene las contradicciones y asegura la integridad global del SMA.

← Volver