Entités temporelles et relations de support

Statut documentaire : tutorial — voir Maturité et preuves.

Le modèle temporel doit conserver produit, entrepôt et temps sur chaque état ou politique dont le sens évolue pendant la vie de l’application ERP.

Un StockMovement porte produit, entrepôt, type de mouvement, quantité et instant d’occurrence. Un StockPosition porte produit, entrepôt, instant d’observation, quantité physique, réservée et disponible. Une ReorderPolicy porte produit, entrepôt, instant d’effet, seuil et niveau cible.

Relations de support

Garder les calculs visibles à la frontière conceptuelle en déclarant des relations typées telles que :

• Subtract(left, right, result) ;
• LessThan(left, right) ;
• GreaterThan(left, right) ;
• Negative(value).

Ces relations expriment la dépendance sémantique. Leur exécution numérique peut être fournie par une capacité Runtime enregistrée. L’ontologie ne doit pas cacher un calcul important pour le raisonnement dans un script opaque.

Propagation du temps

Lorsqu’une conclusion dépend d’un état temporel, la même variable de temps doit circuler depuis la position et la politique jusqu’à la conclusion. Cela évite de combiner une position passée avec une politique future.