Niveau collectif : « Groupe »

Le niveau collectif de contrainte dans une spécification structurelle est défini au moyen des groupes de la SS. La notion de groupe a été proposée pour exprimer le cadre dans lequel des agents peuvent jouer des rôles.

Définition 4 Un groupe est l’abstraction d’un collectif d’agents [68]. Il est défini par un sept-uplet présenté par l’équation 5.5.

∀gr ∈ Gr, gr = hRgr, SGgr, Lintragr , L inter gr , C intra gr , C inter gr , nggr, nrgri (5.5)

– Rgr : l’ensemble des rôles de gr, Rgr ⊂ R.

– SGgr : l’ensemble des sous groupes de gr.

– Lintra

gr , Lintergr : respectivement l’ensemble des liens tels que définis ci-dessus, ca-

tégorisés en liens intra-groupes et inter-groupes définis pour le groupe gr. Nous reviendrons sur ces catégories de liens ci-dessous. Nous notons Lgrl’ensemble

formé par l’union de Lintra

gr et de Lintergr , Lgr = Lintragr S Lintergr

– Cintra

gr , Cgrinter : respectivement l’ensemble des contraintes de compatibilité intra-

groupeset inter-groupes définies pour le groupe gr.

– nggr : la fonction qui associe à chaque sous-groupegr′ ∈ SGgr sa cardinalité

en terme de nombres d’instances minimum et maximum degr′

qui peuvent être créées dans une organisation.

– nrgrla fonction qui associe à chaque rôler du groupe gr sa cardinalité en terme

de le nombre d’instances minimum et maximum de r pouvant exister dans le groupegr au sein d’une organisation.

Relation de sous-groupe – Un groupegr′

est sous groupe d’un groupegr si gr′

∈ SGgr, on dit qu’il existe

un lien de composition degr vers gr′

. La représentation graphique d’un lien de composition est donnée par la figure 5.2.

Spécification Structurelle 88 – Si un groupe n’est le sous-groupe d’aucun autre groupe alors il représente le

groupe racine de la SS.

– Un groupe ne peut être le sous groupe que d’un seul groupe.

Dans ce qui suit, nous parlerons d’instance de groupe pour désigner une entité collective d’une organisation créée à partir d’une spécification de groupe définie dans la SS. Les agents peuvent entrer et adopter des rôles au sein d’une instance de groupe. Liens intra et inter groupe(s)

On distingue deux catégories de liens entre les rôles des groupes qui précisent la portée du lien [81, 68] relativement au groupegr dans lequel ils sont définis.

1. Les liens intra-groupe dont l’ensemble est noté Lintra

gr sont des liens dont la

portée se limite à une instance de gr et aux instances de sous groupes qu’elle contient. Ainsi, ∀l ∈ Lintra

gr , l = hrs, rd, typei, tout agent qui joue le rôle rs

dans une instance degr a un lien de type type avec tous les agents qui jouent le rôlerddans la même instance ou dans les instances de sous groupesgr′ ∈ SGgr.

2. Les liens inter-groupes (Linter

gr ) sont des liens dont la portée concerne toute ins-

tance degr. Ainsi, ∀l ∈ Linter

gr , l = hrs, rd, typei, tout agent qui joue le rôle rs

dans une instance de gr a un lien de type type avec tous les agents qui jouent le rôle rd quelque soit l’instance de gr dans laquelle sont les agents qui jouent le

rôle rd.

Contraintes

Puisque plusieurs rôles peuvent être définis dans un même groupe, les notions de contrainte de compatibilité et de contrainte de cardinalité ont été proposées dans l’OMLMOISE+ [81] pour contraindre des agents au niveau collectif de la SS c’est-

à-dire dans des groupes définis dans une spécification structurelle.

1. Une contrainte de compatibilité est définie entre deux rôles et permet d’ex- primer explicitement la possibilité pour un agent d’adopter les deux rôles com- patibles. Elle est représentée selon l’équation 5.6.

Une contrainte de compatibilité a également une portée qui peut être intra- groupeou inter-groupe.

Ainsi, on note C = Cintra

gr S Cgrinter l’ensemble de toutes les contraintes intra et

Spécification Structurelle 89 comme suit :

∀c ∈ C, c = rs ⊲⊳ rd (5.6)

Compatibilité intra-groupe : ∀c ∈ Cintra

gr , tous les agents qui jouent le rôle

source rs dans une instance de gr peuvent également jouer le rôle rd dans la

même instance ou dans une de ses instances de sous groupes. Compatibilité inter-groupe : ∀c ∈ Cinter

gr , tous les agents qui jouent le rôle

source rsdans une instance de gr peuvent également jouer le rôle rddans n’im-

porte quelle instance de gr.

La relation d’héritage entre rôles se répercute également sur les contraintes de compatibilité. Ainsi, on a :

rs⊲⊳ rd ∧ rs ❁rs′ ⇒ r ′ s⊲⊳ rd

rs⊲⊳ rd ∧ rd❁rd′ ⇒ rs ⊲⊳ rd′

2. Contrainte de cardinalité : elle permet d’exprimer les nombres minimum et maximum d’instances des sous-groupes au sein d’un groupe gr et les nombres minimum et maximum d’instances de chaque rôle d’un groupe gr. La contrainte de cardinalité sur les sous groupes est définie par la fonction nggr représentée

par l’équation 5.7 . Tandis que la fonction nrgr représentée par l’équation 5.8

définit la contrainte de cardinalité sur les rôles.

nggr : SGgr → N × N (5.7)

gr 7→ (min, max)

nrgr : Rgr → N × N (5.8)

r 7→ (min, max)