La classe Operation

Une opération $o_{i}^{p} \in O_{i}\ (\in \mathcal{O})$ est munie des attributs suivants :

• un indice $p$;
• le buffer $b(o_{i}^{p}) \in (\mathcal{B}_{ij} \cup \mathcal{B}_{ji})$;
• la tâche $T_{i}$ qui effectue cette opération, appelée tâche active;
• la tâche $T_{j}$ vérifiant $b(o_{i}^{p}) \in \mathcal{B}_{ij}$ ou $b(o_{i}^{p}) \in \mathcal{B}_{ji}$, appelée tâche passive;
• un prédécesseur dit immédiat $o_{i}^{p-1}$ si $p\not=1$, tel que dans la trace d'exécution $(o_{i}^{p-1},o_{i}^{p}) \in \mathcal{E}_{1}$;
• un successeur dit immédiat $o_{i}^{p+1}$ si $p\not=n_{i}$, tel que dans la trace d'exécution $(o_{i}^{p},o_{i}^{p+1}) \in \mathcal{E}_{1}$;
• un prédécesseur dit externe $o_{j}^{q}$ tel que dans la trace d'exécution $(o_{j}^{q}, o_{i}^{p}) \in (\mathcal{E}_{2} \cup \mathcal{E}_{3})$;
• un successeur dit externe $o_{j}^{q^{\prime}}$ tel que dans la trace d'exécution $(o_{i}^{p}, o_{j}^{q^{\prime}}) \in (\mathcal{E}_{2} \cup \mathcal{E}_{3})$.

Figure 2.1: Liaisons entre opérations

La figure 2.1 nous montre les quatre références d'une opération vers d'autres opérations. Les prédécesseurs et successeurs immédiats modélisent la séquentialité des opérations et s'effectuent sur la même tâche. Les prédécesseurs et successeurs externes s'exécutent sur la tâche dite passive, ils modélisent les contraintes de buffers pleins et de buffers vides.