Contrat de fidélité d'interopérabilité

Statut documentaire : reference.

L'interopérabilité n'est pas décrite comme une promesse vague de portabilité. Pour chaque concept qui traverse une frontière de représentation externe, classer le mapping.

Classification	Signification
Preserved	Identité et sémantique survivent sans changement structurel.
Reified	Une construction d'arité supérieure/contextuelle est représentée explicitement comme objet/structure dans le modèle cible.
Projected	Seule une vue/un sous-ensemble déclaré est exporté ; la perte d'information est intentionnelle et documentée.
Not represented	La représentation cible ne possède pas de mapping supporté ; la perte est explicite.

Règle de round-trip

Lorsqu'un mapping est annoncé réversible, tester un aller-retour contre le contrat conceptuel plutôt que comparer le texte sérialisé. XML et YAML sont par exemple équivalents lorsqu'ils produisent le même DOM/contrat déclaratif pertinent, pas parce que leur texte source se ressemble.

Règle de binding

Les bindings en langage hôte générés sont des projections du contrat Runtime publié. Ils ne doivent pas réinjecter le vocabulaire d'implémentation du langage hôte dans l'ontologie simplement parce qu'une opérationnalisation utilise ce langage.

Ce contrat est la réponse technique au lock-in : pertes et transformations sont nommées, testables et versionnables.