Contraintes UML OCL

Salut tout le monde,

J'ai une classe ProduitPrix, ses attributs sont dateDebut, dateFin, prix

je voudrais mettre une contrainte OCL (inv) pour vérifier que deux enregistrements qui se suivent aient au moins une donnée différente, soit dateDebut ou dateFin ou bien prix


et pour la cohérence : interdire les trous , et les chevauchements dans les dates ,
Si le dernier enregistrement possède une dateFin au lieu d'un null , cela indique que le produit n’est plus disponible à compter de cette date de fin inclusivement.

Merci