Présentation des travaux autour des processus de configuration flexibles dans le cadre des lignes de produits logiciels complexe donnée lors du GDR GPL 2015 à Bordeaux.
Using Composite Feature Models to Support Agile Software Product Line Evoluti...
GDR GPL 2015 - Processus de Configuration Flexible pour Lignes de Produits Logiciels Complexes
1. Processus
de
Configura/on
Flexible
pour
Lignes
de
Produits
Logiciels
Complexes
Simon
Urli
simon@the6thscreen.fr
Accompagné
et
hébergé
par
l’incubateur
Paca-‐Est
2. Des
lignes
de
produits
logiciels…
2
GDR-‐GPL
Bordeaux
10/06/2015
3. …
pour
les
systèmes-‐de-‐systèmes.
3
GDR-‐GPL
Bordeaux
10/06/2015
4. Une
LPL
pour
l’affichage
dynamique
4
GDR-‐GPL
Bordeaux
10/06/2015
5. Variabilité
et
complexité
26 493 480 configurations théoriques
pour une seule zone d’information
5
GDR-‐GPL
Bordeaux
10/06/2015
9. Vers
un
processus
flexible
de
configura/on
pour
les
LPL
complexes
• Représenter
la
variabilité
par
concept
• Modéliser
des
contraintes
entre
les
différents
concepts
• Créer
dynamiquement
des
sous-‐configura/ons
• Créer
des
liens
entre
les
sous-‐configura/ons
• S’assurer
en
permanence
de
la
cohérence
des
choix
réalisés
sans
imposer
de
workflow
de
configura/on
9
GDR-‐GPL
Bordeaux
10/06/2015
10. Modèle
du
domaine
Appartement
Temperature Luminosite Securite
Ouverture
Capteurs Verrou
Piece
Capteurs Actionneurs
CTemperature
CLuminosite
CPresence AStore AThermostat ASecurite
Etat Ouverture
Type
Porte Fenetre
Store Vitre Teintee
Legende
feature
obligatoire
feature
optionnelle
XOR
OR
Ordinateur Central
Verrou Numerique
Chauffage
Type Centralise
ElectriqueGaz Fioul Plancher Radiateur
Temperature Centralise
Securite Fibre Optique
Radiateur
Alarme Verrou
CTemperature AThermostat or Radiateur
AThermostat CTemperature
CPresence ASecurite
CLuminosite AStore
Immeuble
Chauffage Central
Gaz Fioul
Fibre Optique Fibre Optique
Appartement Piece Ouverture1..* 1..*1..*
1 1..* 1..*1..*
1..*0..1
Immeuble1
1..*
1
10
GDR-‐GPL
Bordeaux
10/06/2015
11. Modèle
du
domaine
Appartement
Temperature Luminosite Securite
Ouverture
Capteurs Verrou
Piece
Capteurs Actionneurs
CTemperature
CLuminosite
CPresence AStore AThermostat ASecurite
Etat Ouverture
Type
Porte Fenetre
Store Vitre Teintee
Legende
feature
obligatoire
feature
optionnelle
XOR
OR
Ordinateur Central
Verrou Numerique
Chauffage
Type Centralise
ElectriqueGaz Fioul Plancher Radiateur
Temperature Centralise
Securite Fibre Optique
Radiateur
Alarme Verrou
CTemperature AThermostat or Radiateur
AThermostat CTemperature
CPresence ASecurite
CLuminosite AStore
Immeuble
Chauffage Central
Gaz Fioul
Fibre Optique Fibre Optique
Appartement Piece Ouverture1..* 1..*1..*
1 1..* 1..*1..*
1..*0..1
Immeuble1
1..*
1
Contraintes
entre
les
FM
«
état
implique
ac/on
»
• Etat
déterminé
par
les
features
sélec/onnées
ou
exclues
• Ac/on
:
sélec/on/exclusion
de
feature
ou
ajout
de
contrainte
11
GDR-‐GPL
Bordeaux
10/06/2015
14. Un
processus
de
configura/on
dynamique
et
réversible
• Ac/ons
U6lisateurs
et
Ac/ons
Systèmes
• Historique
des
ac/ons
u/lisateurs
• Annula/on
possible
de
n’importe
quelle
ac/on
u/lisateur
en
garan/ssant
la
cohérence
du
processus
Historique
d’ac/ons
Ac/on
1
Ac/on
9
14
GDR-‐GPL
Bordeaux
10/06/2015
15. Garan/r
la
flexibilité
et
la
cohérence
du
processus
Quel
que
soit
un
produit
par/ellement
configuré
il
sera
toujours
possible
de
créer
n’importe
quel
produit
réalisable
incluant
les
fonc/onnalités
du
produit
par/el.
15
GDR-‐GPL
Bordeaux
10/06/2015
20. Garan/r
la
cohérence
de
la
LPL
Quels
que
soient
les
choix
de
configura/on
réalisés,
il
existe
nécessairement
un
produit
réalisable
incluant
ces
choix.
20
GDR-‐GPL
Bordeaux
10/06/2015
21. Vérifica/on
de
la
«
réalisabilité
»
• S’assurer
que
chaque
sous-‐configura6on
peut
être
incluse
dans
une
configura/on
composite
valide
– Considérer
la
topologie
du
modèle
du
domaine
et
les
composantes
biconnexes.
– U/liser
l’informa/on
agrégée
lors
de
chaque
test
pour
op/miser
les
calculs.
Appartement Piece Ouverture1..* 1..*1..*
1 1..* 1..*1..*
1..*0..1
Immeuble1
1..*
1
21
GDR-‐GPL
Bordeaux
10/06/2015
24. Complexité
des
configura/ons
et
automa/sa/on
des
ac/ons
Minimum
Maximum
Ecart
Type
Moyenne
Sous-‐
Configura6ons
7
61
16
22
Liens
6
60
16
21
Ac6ons
U6lisateur
51
348
91
158
Ac6ons
Systèmes
849
7218
1916
2535
Temps
de
propaga6on
1
ms
4206
ms
708
327
ms
Résultats
basés
sur
10
configura/ons
composites.
24
GDR-‐GPL
Bordeaux
10/06/2015
25. Complexité
des
configura/ons
et
automa/sa/on
des
ac/ons
Minimum
Maximum
Ecart
Type
Moyenne
Sous-‐
Configura6ons
7
61
16
22
Liens
6
60
16
21
Ac6ons
U6lisateur
51
348
91
158
Ac6ons
Systèmes
849
7218
1916
2535
Temps
de
propaga6on
1
ms
4206
ms
708
327
ms
Résultats
basés
sur
10
configura/ons
composites.
5,87
94,13
Ac6ons
U/lisateurs
Automa/sées
25
GDR-‐GPL
Bordeaux
10/06/2015
26. Les
débuts
d’une
startup…
• Mé/er
centré
sur
l’affichage
dynamique
• La
LPL
facteur
de
rapidité
de
produc/on
:
quid
de
l’évolu/on
?
• La
LPL
facteur
de
personnalisa/on
pour
le
client
?
– Comment
présenter
la
LPL
à
un
u/lisateur
?
– Quel
est
le
niveau
de
feature
souhaité
?
• Retour
sur
la
startup
lors
de
la
journée
du
Club
Industriel
du
GDR
GPL
à
Toulouse
le
25
Juin.
26
GDR-‐GPL
Bordeaux
10/06/2015
27. Merci
!
Simon
Urli
simon@the6thscreen.fr
hVp://www.the6thscreen.fr
Accompagné
et
hébergé
par
l’incubateur
Paca-‐Est
Notas do Editor
« Nous souhaitons préciser la notion de LPL »
Objectif : permettre la construction de LPL de système de système
S’apparente à un modèle de classe simplifié
Ajouter les tick de sélection sur le FM
Actions systèmes = actions automatisées !
Prof formalisée informellement discutée
Interdire les choix incompatibles
Prop formalisée présentée informellement
Point d’articulation -> exemple avec immeuble appartement et reprendre sur les composantes biconnexes
On a démontré qu’on pouvait prouver la réalisabilité de la LPL à partir des composantes biconnexes.