4.3 Formalisme
4.3.2 Illustration des aspects statiques
Pour illustrer les aspects statiques nous mod´elisons le SdS pr´esent´e en section 4.2 (et repr´esent´e dans la fig. 4.3) avec notre formalisme.
L = {lo, l1, l2, l3} avec :
– l3 = lH = niveauDeT outeLaF lotte,
– l2 = niveauDesF lottesDeQuai,
– l1 = niveauDesT rainsDeV ehicules et
– l0 = niveauDesIAV sIndividuels.
Tous les CS sont repr´esent´es par des agents CS. A = {CS1,3, CS1,2,CS2,2,CS1,1,CS1,0,
CS2,0, CS3,0, CS4,0, CS5,0, CS6,0}
Ici nous repr´esentons seulement en d´etail CS2,2, son super CS, CS1,3, et ses sous CS CS4,0,
CS5,0 et CS6,0. Cette partie du SdS est repr´esent´ee dans la figure fig. 4.4.
CS1,3 = h∅, ∅, {CS1,2, CS2,2, }, {g1}, ψ1,3, λ1,3i
CS1,3 ´etant le CS total, il n’appartient `a aucun super CS et donc ne joue aucun rˆole dans
un groupe permettant de former un super CS. Ses sous CS sont les flottes d’IAVs attach´ees au quai 1 et 2, respectivement CS1,2 et CS2,2. Le groupe qui forme CS1,3 et dans lequel ses sous
CS jouent des rˆoles est g1. ψ1,3 indique les rˆoles jou´es par CS1,2 et CS2,2 dans CS1,3. λ1,3 est la
fonction indiquant si CS1,3peut atteindre le but global dans le niveau maximal l3. Cette fonction
prend en compte les capacit´es de CS1,3et les capacit´es individuels de ses sous CS, CS1,2et CS2,2.
CS2,2 = hCS1,3, {quayT ransporter, quayT ransmitter},
{CS4,0, CS5,0, CS6,0}, {g3}, ψ2,2, λ2,2i
CS2,2 est un sous CS de CS1,3, la flotte enti`ere d’IAVs dans le port. Il joue les rˆoles
quayT ransporter et quayT ransmitter qui consistent `a g´erer les communications et le transport de conteneurs d’une flotte d’IAVs rattach´ee `a un quai. Ses sous CS sont des IAVs individuels,
Figure 4.3 – Un exemple de SdS.
CS4,0, CS5,0 et CS6,0. Ici CS2,2 est constitu´e d’un groupe uniquement, g3, compos´e de CS4,0,
CS5,0 et CS6,0. ψ2,2 indique les rˆoles jou´es par CS4,0, CS5,0 et CS6,0 dans CS2,2. λ2,2 est la
fonction indiquant si CS2,2 peut atteindre ses buts dans son niveau l2. Cette fonction prend en
compte les capacit´es de CS2,2 et les capacit´es individuels de ses IAVs, CS4,0, CS5,0 et CS6,0.
La sp´ecification de groupe, g1, peut ˆetre ´ecrite comme suit :
gs1 = h{quayT ransporter, quayT ransmitter},
{lquayT ransporter = {l2}, lquayT ransmitter = {l2}}, {l3},
∅, {quayT ransporter∆quayT ransmitter}, {nrquayT ransporter = (1, ∞), nrquayT ransmitter= (1, ∞)},
{ncquayT ransporter = (1cont/hour, ∞, 1cont/hour, ∞), ncquayT ransmitter = (2mess/sec, ∞, 2mess/sec, ∞)}, i
Les agents CS peuvent jouer les rˆoles quayT ransporter et quayT ransmitter dans les groupes d´efinis par gs1. Ces agents CS sont dans le niveau l2. Ces groupes produisent des agents CS dans
le niveau l3. Quand un agent CS joue un rˆole dans un groupe d´efini par gs1 il ne peut jouer
4.3. Formalisme 63
Figure 4.4 – CS2,2 et ses sous CS avec leurs rˆoles dans leurs groupes.
groupe alors il peut jouer le rˆole quayT ransmitter dans un autre groupe cr´e´e en utilisant gs1
et inversement. Un groupe d´efini par gs1 doit contenir, au moins, un agent CS jouant le rˆole
quayT ransporter et, au moins, un agent CS jouant le rˆole quayT ransmitter. Un agent CS jouant le rˆole quayT ransporter doit poss´eder la capacit´e de transporter, au moins, un conte- neur par heure. Un agent CS jouant le rˆole quayT ransmitter doit poss´eder la capacit´e de trans- mettre, au moins, deux messages par seconde. Et la population totale d’agents jouant le rˆole quayT ransmitter doit poss´eder la capacit´e cumulative de transmettre, au moins, deux messages par seconde.
CS4,0 = hCS2,2, {transporter, transmitter}, ∅, ∅, ∅, λ4,0i
CS5,0 = hCS2,2, {transporter, transmitter}, ∅, ∅, ∅, λ5,0i
CS6,0 = hCS2,2, {transporter, transmitter}, ∅, ∅, ∅, λ6,0i
CS4,0 qui est un IAV individuel est un sous CS de CS2,2, la flotte de v´ehicules attach´ee au
quai 2. Il joue les rˆoles transporter et transmitter qui consistent `a transporter un conteneur et `a communiquer avec des IAVs `a distance ou l’autorit´e centrale du port. Comme CS4,0
ne poss`ede pas de sous CS, il n’existe aucun groupe form´e par ces sous CS. CS4,0 n’a pas
de rˆole de sous CS `a d´efinir. λ4,0 est la fonction indiquant si CS4,0 peut atteindre ses buts.
de l’IAV individuel instanci´e par CS4,0. CS5,0et CS6,0sont d´efinis de la mˆeme mani`ere que CS4,0.
La sp´ecification de groupe g3 peut ˆetre d´efinie comme suit :
gs3= h{transporter, transmitter},
{ltransporter = {l0}, ltransmitter = {l0}}, {l2},
∅, {transporter∆transmitter}, {nrtransporter = (1, ∞), nrtransmitter = (1, ∞)},
{nctransporter = (1cont/hour, ∞, 1cont/hour, ∞),
nctransmitter = (2mess/sec, ∞, 2mess/sec, ∞)}, i
gs3 est une sp´ecification de groupe tr`es similaire `a gs1 avec un changement de niveau et
d’´echelle.
On peut conclure cette section en signalant que dans le cas du CS total, CS1,H, on a
CSn0,l+1 = ∅ et Rn,l = ∅ car le CS total ne forme aucun super CS et donc ne joue aucun rˆole dans un groupe repr´esentant un super CS. De la mˆeme mani`ere, dans le cas des CS ´el´emen- taires n’ayant pas de sous CS virtuels (g´en´eralement les CS ayant une existence physique), on a CSn00,l−1 = ∅, OP = ∅ et Ψ = ∅ car ces CS ´el´ementaires ne sont form´es par aucun sous CS et donc aucun CS ne joue un rˆole pour former ces CS ´el´ementaires.