Déficit medible entre el conjunto de propiedades que una lógica o lenguaje de especificación puede definir y el conjunto de propiedades que requiere una aplicación, especificación o tarea de verificación.

Principio

La expresividad se evalúa en relación con las propiedades objetivo; la brecha es la diferencia entre la definibilidad requerida y la definibilidad disponible bajo la sintaxis, semántica y las restricciones de recursos elegidas (por ejemplo, decidibilidad, complejidad).

Demostración

Una lógica temporal usada para especificar propiedades de seguridad puede carecer de la capacidad de cuantificar sobre valores de datos requeridos por una aplicación concreta; las construcciones de cuantificación de datos faltantes constituyen una brecha de expresividad para esa aplicación.

Aplicación incorrecta

Tratar la dificultad de implementación o la inmadurez de herramientas como una brecha de expresividad —por ejemplo, culpar al lenguaje por solvers lentos en lugar de la ausencia de constructos definitorios— confunde límites expresivos con brechas de ingeniería práctica.

Consecuencia

Identificar una brecha de expresividad orienta si extender el lenguaje, incorporar predicados específicos del dominio, adoptar lógicas complementarias o aceptar comprobaciones en tiempo de ejecución cuando la especificación estática no alcanza.

Inversión

Suficiencia Expresiva: la condición en la que el poder definitorio del lenguaje cubre el conjunto de propiedades de la aplicación y por tanto no existe una brecha material que cerrar.

Límite

La brecha depende de las nociones elegidas de expresividad (definibilidad sintáctica, definibilidad semántica y definibilidad consciente de recursos); reducirla suele implicar sacrificar decidibilidad o tratabilidad a favor del alcance expresivo.

Tensión semántica

Tensión con nociones de concisión y decidibilidad —un lenguaje puede ser expresivo pero poco manejable; la brecha de expresividad se refiere a la existencia de definiciones, mientras que la concisión y la complejidad miden la practicidad.

Síntesis

Una Brecha De Expresividad señala las necesidades definitorias no satisfechas de una tarea respecto a las capacidades de un lenguaje y motiva remedios concretos (extensión de lenguaje, enfoques híbridos o aceptación de aproximación) teniendo en cuenta los compromisos.