De la sémantique validée aux modèles déclaratifs

Statut documentaire : guide — voir Maturité et preuves.

Une ontologie H-Logic validée décrit du sens exécutable, mais ne décide pas seule de la persistance, de la publication, du design des vues, de l’activation des packages ou du cycle de vie. Le passage à l’application est donc une opérationnalisation, pas une traduction textuelle.

Discipline de mapping

Construction sémantique validée	Artefact applicatif candidat	Décision supplémentaire
Type identifié	Concept Entity	namespace, identifiant, facettes
Relation polyadique pure	Concept Relation	graphe uniquement ou réification/persistance
Attribut	Champ de modèle	type, nullabilité, stockage, rolePath
Vocabulaire complet	Ensemble de concepts de type énumération	politique d’extension et migration
Relation dérivée	Règle ou relation générée	matérialisation et cycle de vie
Projection indexée	Relation de requête ou index Runtime	stockage, refresh et exposition
Fait diagnostique	Relation de validation, événement ou donnée de vue	blocage ou non de la persistance

Utiliser une politique de génération revue pour tout ce qui n’est pas contenu dans l’ontologie : namespace, format cible, persistance, caches dérivés, vues générées, publication de services, diagnostics, index et traçabilité.

Vérification après génération

Les artefacts générés doivent passer la validation de grammaire, la résolution manifest/package, les contrôles d’identifiants et de rolePath, la compilation du modèle, le chargement Runtime, les tests de propagation et la comparaison comportementale avec les déductions acceptées pendant l’analyse.

Conserver une traçabilité de bout en bout : exigence -> construction H-Logic -> artefact généré -> résultat de validation.