Règles de cohérences

Top  Previous  Next

Les règles de cohérences de la classe comportent trois règles principales :

le chevauchement
L'alternance
l'ordre.

 

Regle de coherence

 

Règle de chevauchement

Tout événement se référant à cette rubrique ne doit pas se chevaucher avec un événement se référant au code de la rubrique indiquée. Lorsque cela apparaît, les deux événements entrant en conflit sont déclarés incohérents. Lorsque les deux  rubriques sont ponctuelles, la contrainte de chevauchement équivaut à une contrainte de coexistence.

La rubrique est à choisir parmi les rubriques de la configuration.

 

Regle de coherence - chevauchement

 

Règle d'alternance

Deux événements se référant à cette classe ne doivent pas se succéder  sans qu’un événement se référant au code de la classe indiquée ne s’intercale entre eux. Lorsque cela apparaît, les deux événements entrant en conflit sont déclarés incohérents.

La classe est à choisir parmi les classes de la configuration.

Ainsi un début d'agglomération doit être suivi par une fin d'agglomération.

 

Regle de coherence - alternance

 

Règle d'ordre

Cette règle s'applique à toutes les rubriques qui ont un numéro d'ordre (PR, candélabre, ...)

Dans ce cas il y a incohérence si l'ordre de déclaration en fonction de l'abscisse n'est pas respecté.

Le saut d'un numéro n'engendre pas d'incohérence.

 

Regle de coherence - ordre