NF EN 12381 : 2005

Avant-propos
Introduction
1 Domaine d'application
2 Références normatives
3 Termes et définitions
4 Dénomination explicite des composants de prédicat
  4.1 Généralités
  4.2 Dénomination des propositions
  4.3 Dénomination des expressions temporelles
  4.4 Dénomination des liens temporels de base
      4.4.1 Généralités
      4.4.2 "a pour occurrence"
      4.4.3 "a pour taux"
      4.4.4 "a pour fréquence"
      4.4.5 "a pour durée"
  4.5 Dénomination des liens temporels complexes
  4.6 Comparateurs temporels
      4.6.1 Généralités
      4.6.2 Comparateurs temporels combinés à des événements
      4.6.3 Comparateurs temporels combinés à des épisodes
5 Caractéristiques de conformité
  5.1 Dispositions pour les spécifications de conformité
  5.2 Caractéristiques élémentaires
  5.3 LSS: Niveau de spécification sémantique
      5.3.1 LSS(0)
      5.3.2 LSS(1)
      5.3.3 LSS(2)
      5.3.4 LSS(3)
  5.4 LRE: Niveau de récursivité des informations temporelles
      5.4.1 LRE(0)
      5.4.2 LRE(1)
      5.4.3 LRE(2)
  5.5 LDR: Niveau de complexité de référence déictique
      5.5.1 LDR(0)
      5.5.2 LDR(1)
  5.6 LDC: Niveau de complexité de référence déictique
      5.6.1 LDC(0)
      5.6.2 LDC(1)
      5.6.3 LDC(2)
  5.7 LQI: Niveau de formalisme des expressions temporelles
      5.7.1 LQI(0)
      5.7.2 LQI(1)
      5.7.3 LQI(2)
Annexe A (informative) Description en BNF de la syntaxe
                       utilisée dans les prédicats étalons
                       définis dans le présent document
Bibliographie