Analyse temporelle de stock - cas complet H-Logic-first
Statut documentaire : tutorial — voir Maturité et preuves.
Ce cas d’étude applique la méthode H-Logic-first à un domaine de gestion de stock avec faits temporels, diagnostics dérivés et projections orientées requêtes.
Le module gère des produits stockés dans des entrepôts. Il enregistre les réceptions, réservations, libérations et expéditions. Pour chaque produit et entrepôt, le modèle raisonne sur le stock physique, réservé et disponible à un instant donné. La politique de réapprovisionnement est elle aussi temporelle.
Parcours de construction
- Spécification métier et vocabulaire
- Entités temporelles et relations de support
- Règles, diagnostics et propagation
- Projections de requête et index
- Validation et plan de tests
- Opérationnalisation vers les modèles déclaratifs
- Checklist d’implémentation
L’ontologie source du guide a été acceptée par le parseur. Cette acceptation ne certifie pas à elle seule l’inférence, l’indexation, les justifications ou les rétractions ; ces comportements restent des obligations de test explicites.