Aller au contenu
EN FR

ADR : DOM comme frontière d'équivalence

Statut documentaire : architecture.

Problème

Les applications déclaratives peuvent être écrites avec plusieurs sérialisations. La similarité textuelle est une mauvaise définition de l'équivalence car ordre, alias et formatage peuvent différer alors que le modèle exécutable est identique.

Décision

Définir l'équivalence au niveau de la structure déclarative/DOM parsée et du contrat significatif pour le Runtime, pas au niveau du texte brut. XML et YAML sont des projections d'auteur qui convergent avant l'exécution du modèle.

Conséquence

Les outils de migration et de round-trip doivent comparer le contenu significatif pour le Runtime. Les tests doivent avoir des niveaux syntaxe, grammaire/DOM et Runtime au lieu de traiter une conversion textuelle réussie comme preuve d'équivalence sémantique.

Validation

Les exemples appariés et tests de régression protègent le contrat commun. Si une construction ne peut pas faire l'aller-retour, classifier explicitement la perte.