Dans la suite, la description de l’espace de mod´elisation se concentre sur l’ing´enierie du logiciel. L’hypoth`ese de d´epart de cette mod´elisation exprimant l’intention de mod´elisation de la concep-tion et de la variabilit´e correspondante est une pr´esence ant´erieure des mod`eles de concepconcep-tion sur les mod`eles de variabilit´e (du type approche extractive). L’intention de r´ealisation d’un pro-duit, quant `a elle, est traduite dans la mod´elisation relationnelle de la variabilit´e. La figure12.1
fournit un aper¸cu de l’espace de mod´elisation utilis´e dans le cadre de la th`ese. La capacit´e de variabilit´e avec une perspective d’utilisateur final est mod´elis´ee dans l’espace du probl`eme par un mod`ele EVM. Dans l’espace de la solution, les mod`eles de variabilit´e architecturaux et tech-niques (“Logical IVMs - LIVMs” ou “Physical IVMs - PIVMs”, mod`eles internes correspondants `
et se retrouvent en regard de core assets de conception (LCA ou PCA, suivant une s´eparation sur la nature logique ou physique des ´el´ements) `a diff´erents niveaux d’abstraction. Les mod`eles de variabilit´e du niveau physique (PIVMs) sont des ramifications de nœuds d’´el´ements variables logiques et sont relatifs `a des variations physiques (c.`a-d. de la plate-forme).
Figure12.1: Organisation de l’espace de mod´elisation
12.1.1 Entre les deux espaces (probl`eme et solution)
Les VMs r´ealisent une abstraction de la variabilit´e de l’espace des core assets `a chaque niveau d’abstraction, les relations sont identiques `a µ#1(pour rappel, cf. page101), et sont exprim´ees dans µ#15.
EVM
µα CCA ; LIVMs µα LCA ; PIVMs µα PCA µ#15
Dans l’´equation µ#15, comme l’EVM abstrait la variabilit´e de CCA, l’intention de l’EVM couvre partiellement celle des CCA. Il en va de mˆeme pour les relations entre les LIVMs et les LCA, et pour les PIVMs et les PCA.
12.1. Mod´elisation intentionnelle de l’espace de mod´elisation
12.1.2 Dans l’espace de la variabilit´e.
Les trois espaces introduits dans la section. 6.1.1 correspondent `a une s´eparation des pr´eoccu-pations de haut niveau. Concernant la variabilit´e et sa gestion, les principales parties-prenantes impliqu´ees sont: les managers des ventes, les managers de la LdP, les ing´enieurs syst`emes et ceux du logiciel.
Entre le CVM et les deux autres types de VM
Tel que pr´esent´e par la relation µ#8(cf. page103) les variants externes sont induits par ceux du contexte environnemental. Dans la relation µ#16, bien que l’impact du CVM sur l’EVM soit un point cl´e lors du processus de d´erivation, les mod`eles sont con¸cus avec des intentions totalement ind´ependantes en tˆete. Des relations identiques peuvent ˆetre d´efinies entre (i) le CVM et les LIVMs et (ii) le CVM et les PIVMs.
CVM
µ EVM ; CVM µ LIVMs ; CVM
µ PIVMs µ#16
Entre l’EVM et les IVMs
L’EVM est un mod`ele de variabilit´e externe du niveau d’abstraction Contexte, les relations µ#3
(cf. page102) et µ#4(cf. page102) se translatent dans le r´ef´erentiel de l’espace de mod´elisation pour pouvoir exprimer les relations µ#17.
LIVMs
µγ EVM ; PIVMs µγ EVM µ#17
Un point sur la modularit´e des IVMs
La relation µ#18concerne la variabilit´e logique et physique (similairement `a µ#5, d´ecrite p.102) : les mod`eles en vis-`a-vis (c.-`a-d. LCA et PCA) sont intentionnellement li´es (raffinement de concep-tion), et les LIVMs et PIVMs le sont ´egalement (la variabilit´e est compl´et´ee par le raffinement).
PIVMs
µγ LIVMs µ#18
Pour les VMs de type interne, la modularit´e œuvre `a r´eduire la complexit´e accidentelle visible et `a renforcer une s´eparation des pr´eoccupations. L’approche propos´ee raffine la d´ecomposition hi´erarchique inh´erente aux VMs avec une d´ecomposition en pr´eoccupations horizontales et ver-ticales : d´ecomposition en niveaux d’abstraction (Logique, Physique comme introduit pr´ec´edem-ment), et pour un niveau donn´e, en pr´eoccupations organisationnelles.
Consid´erons la d´ecomposition en n IVMs pour le type LIVM (respectivement pour les PIVMs). Chaque LIVM i (respectivement PIVM i ), i ∈ {1, . . . , n}, se concentre sur une pr´eoc-cupation d’une partie-prenante qui peut potentiellement recouvrir une pr´eocpr´eoc-cupation d’un autre LIVM j, j ∈ {1, . . . , n} ∧ i 6= j (respectivement PIVM i ). Cons´equemment, certains ´el´ements va-riables peuvent ˆetre ´equivalents et faire r´ef´erence aux mˆemes concepts et artefacts. Les relations µ#19sont d`es lors d´efinies pour d´ecrire ce ph´enom`ene.
LIVMi
µγ LIVMj ; PIVMi
µγ PIVMj µ#19
La prise en compte de la variabilit´e des espaces du probl`eme et de la solution dans leur globalit´e, c.-`a-d. l’EVM et l’union des IVMs (S IVMs), r´esulte dans µ#20 (similaire `a µ#9, p.104). Chaque variant de l’EVM doit ˆetre exauc´e par la variabilit´e de la solution.
EVM
µγ SIVMs µ#20
12.1.3 Dans l’espace des Core Assets
Les relations µ#6, µ#7(cf. page102) d´ecrivent les relations entre CCA, LCA et PCA.
L’approche telle que d´ecrite met en œuvre de la variabilit´e positive. La variabilit´e positive se base sur la composition d’artefacts, qui sont par cons´equent s´epar´es dans l’espace de mod´e-lisation. `A l’inverse d’une mod´elisation n´egative de la variabilit´e, la notion d’ensemble de core assets (CASet) est implicite. En consid´erant un produit p, ce dernier est d´efini dans le cas de la variabilit´e positive par la relation (a) de l’´equation ci-apr`es, et par la relation (b) pour la varia-bilit´e n´egative (p ⊆ CASet), S symbolisant les variants s´electionn´es se conformant aux r`egles du mod`ele de variabilit´e. (a) p , [ i∈S CAi ; (b) p , \ i∈S CAi
Consid´erons n LCA (respectivement PCA) ; un LCAi (respectivement PCAi ), i ∈ {1, . . . , n}, peut ˆetre combin´e avec un autre LCAj, j ∈ {1, . . . , n} ∧ i 6= j (respectivement PCAi ). Les relations µ#21sont finalement obtenues.
LCAi
µγ LCAj ; PCAi µγ PCAj µ#21
12.1.4 Probl´ematique de gestion de mod`eles.
De l’analyse de l’espace de mod´elisation d’une ligne de produits dirig´ee par les mod`eles r´esulte une ´elicitation de relations intentionnelles d’inter-mod´elisation, ces derni`eres r´ev´elant :
❼ Des mod`eles interagissant : dans le processus de l’ing´enierie de l’application, des mod`eles inf`erent sur la s´election de points de variation lors de l’´etape de configuration du produit (relations : µ#16, µ#17, µ#18, et µ#19) et lors de la d´erivation du produit (les mˆemes que pr´ec´edemment et la relation µ#15) ;
❼ Des mod`eles se recouvrant : dans l’espace de variabilit´e, les IVMs peuvent ˆetre compos´es pour un affichage et une repr´esentation plus globale (relations: µ#18et µ#19) ; dans l’es-pace des core assets, les core assets sont compos´es lors de la phase de d´erivation (relation µ#21).
`
A noter que l’espace de mod´elisation pr´esent´e et les techniques employ´ees ne d´efinissent pas une utilisation de pr´eoccupations transverses et de tissage d’aspects de mod`ele. Ce volet concerne le dernier axe de la variabilit´e multidimensionnelle, celui des pr´eoccupations m´etier.