Une spécification qui impose des contraintes ou des détails excessifs ou inutiles à un concept ou modèle de sorte que des modèles, implémentations ou interprétations légitimes de l'intention sont exclus.

Principe

Une spécification doit contenir juste assez de contraintes pour fixer le comportement ou la structure voulus ; ajouter des contraintes au-delà de l'intention risque d'exclure des réalisations valides.

Démonstration

Définir une structure algébrique en énumérant une liste concrète d'éléments et de relations plutôt qu'en énonçant des axiomes (par exemple exiger une implémentation par paires ordonnées alors que seuls les axiomes de groupe sont voulus) peut écarter des modèles abstraits valides.

Mauvaise application

Utiliser la sur-spécification pour forcer l'unicité ou des choix d'implémentation (par exemple imposer une représentation interne commune entre modules) ce qui rend la spécification inconsistante ou inutilisable lorsque d'autres représentations sont légitimes.

Conséquence

Lorsqu'elle est détectée et corrigée, la sur-spécification est assouplie pour restaurer des modèles légitimes ; si elle est ignorée, elle produit des spécifications insatisfaisables ou des systèmes fragiles incapables d'interopérer.

Inversion

Sous-spécification — fournir trop peu de contraintes, laissant le concept ambigu et admettant de nombreux modèles non souhaités.

Limite

Couvre les contraintes ajoutées qui ne sont pas exigées sémantiquement par le concept visé ; n'inclut pas les contraintes d'implémentation nécessaires (par exemple des limites de performance) qui sont volontairement prescriptives, ni des choix purement syntaxiques qui ne suppriment pas de modèles valides.

Tension sémantique

Tension entre précision (spécifier suffisamment pour être utile) et généralité (éviter les contraintes qui excluent des réalisations valides) ; souvent en concurrence avec des exigences de déterminisme ou de reproductibilité.

Synthèse

La sur-spécification est le mode de défaillance dans les définitions formelles et les interfaces où des contraintes supplémentaires, non dictées par l'intention, restreignent ou éliminent des modèles valides ; la résoudre implique d'identifier les contraintes qui traduisent l'intention et celles qui relèvent du détail d'implémentation, puis d'affaiblir ou d'abstraire ces dernières.