Département IFA

Master 1 : Réseaux et Systèmes distribués

és

Module: INDM Exercice No 1

Supposons que nous ayons le méta-modèle précédent de réseau de Petri:

Questions:

a) Le méta-modèle proposé est-il complet ? Justifier votre réponse.

b) Si la réponse est non, compléter le modèle proposé.

Solution
a) Non, le modèle proposé n’est complet car nous ne pouvons pas dire que dans une transition, le délai maximum
(MaxDelay) doit toujours être supérieur au délai minimum (MinDelay)?

b) La solution est d'associer des contraintes OCL au méta-modèle proposé.

Par exemple, nous pouvons ajouter la contrainte OCL suivante :

context Transition inv : maxDelay > minDelay