handling complex configurations in software product lines: a tooled approach

SPLC’14 - Florence September 2014

Handling Complex Configurations in Software Product Lines:

a Tooled ApproachSimon Urli

Mireille Blay-Fornarino Philippe Collet

[email protected]

I3S Laboratory - University Nice-Sophia Antipolis

1

mailto:[email protected]



SPL for information systems?

2


Running Example: SmartHome

3



4



5



6



7

Main Room



8

Main Room



9

Main Room



10

Main Room Entrance


Scenario 1: SimpleFlat

11

home:House

{House}

Keyname:Concept{features}



12

home:House

{House}

frontDoor:Opening{Opening, Kind, Door, Lock,

Sensors, OpenedState}




13

home:House

{House}



mainRoom:Room

{Room,Sensors,Lightning}




14

home:House

{House}



mainRoom:Room

{Room,Sensors,Lightning}mainRoomWindow:Opening

{Opening, Kind, Window, TintedGlass}




15

home:House

{House}



mainRoom:Room


mainRoomDoor:Opening

{Opening, Kind, Door, Lock}

mainRoomWindow:Opening{Opening, Kind, Window,

TintedGlass}




16

home:House

{House}

entrance:Room{Room,Sensors,

Presence,Actuators, Locking}



mainRoom:Room



{Opening, Kind, Door, Lock}

mainRoomWindow:Opening{Opening, Kind, Window,

TintedGlass}



Different configurations...

17

home:House

{House}

entrance:Room

{Room}

frontDoor:Opening

{Opening, Kind, Door}



18

home:House

{House}

entrance:Room

{Room}

frontDoor:Opening




19

home:House

{House}

entrance:Room

{Room}

frontDoor:Opening




20

home:House

{House}

entrance:Room

{Room}

frontDoor:Opening


SecuredHome:House{House, CentralComputer,

SecurityManager}


Presence,Actuators, Locking, RollerStore}

frontDoor:Opening

{Opening, Kind, Door, Lock, Digital, Sensors, OpenedState}

mainRoom:Room

{Room,Sensors,Lightning,Locking,Actuators,RollerStore, Presence}


{Opening, Kind, Door, Lock, Sensors, OpenedState}

mainRoomWindow:Opening

{Opening, Kind, Window, TintedGlass, Lock, Sensors,

OpenedState}



21

home:House

{House}

entrance:Room

{Room}

frontDoor:Opening



SecurityManager}



frontDoor:Opening


mainRoom:Room






OpenedState}



22

home:House

{House}

entrance:Room

{Room}

frontDoor:Opening



SecurityManager}



frontDoor:Opening


mainRoom:Room






OpenedState}


Handling complex configurations?

‣ Considering variability by concerns

‣ Managing constraints between variability models

‣ Allowing the user to dynamically create sub-configurations

‣ Allowing to create links between sub-configurations

‣ Ensuring consistency in user’s choices

‣ Supporting a flexible configuration process

23


Handling complex configurations?

‣ Considering variability by concerns

‣ Managing constraints between variability models

‣ Allowing the user to dynamically create sub-configurations

‣ Allowing to create links between sub-configurations

‣ Ensuring consistency in user’s choices

‣ Supporting a flexible configuration process

24


SpineFM OverviewOpeningHouse Room

Feature Models

Domain Model

MetamodelSpineFM

House Room Opening1 1..* 1..* 1..*

1..*0..1contains contains

hasGateways

API + Propagation algorithm

Generation


Designing the SPL

26


1..*0..1

contains contains

hasGateways

SPLassets

SPLfor

House

SPLassets

SPLfor

Room

SPLassets

SPLfor

Opening

SharedSPL

assets

Gen

erat

ion

Tool

sD

omai

n M

odel

Asse

tsPr

oduc

tsFM

s


Running example: FM by concerns

27

Room

Sensors Actuators

Temperature

Lightning

Presence RollerStore

Thermostat

Locking

Temperature implies ThermostatPresence implies Locking

Opening

Sensors Lock

OpenedState

Kind

Door Window

RollerStore TintedGlass

House

Temperature Manager

Luminosity Manager

SecurityManager

CentralComputer

Digital


Designing the SPL

28


1..*0..1

contains contains

hasGateways

SPLassets

SPLfor

House

SPLassets

SPLfor

Room

SPLassets

SPLfor

Opening

SharedSPL

assets

Gen

erat

ion

Tool

sD

omai

n M

odel

Asse

tsPr

oduc

tsFM

s

+ inter-FM constraints


Inter-FM constraint

• Association contains oriented functions

• Function contains rules

• Rule:

• from a source FM to a target FM

• state implies action

• state: selected and excluded features

• action: select, exclude, add new CT constraint

29


Running example: FM by concerns... with constraints

30

House

Temperature Manager

Luminosity Manager

SecurityManager

Opening

Sensors Lock

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


OpenedState

Kind

Door Window


KeyMandatory

featureOptional feature

XOR

OR

interFM implication

CentralComputer

Digital


Running Example: Constraints

31

source:Roomtarget:Opening

Rule :Selected Locking ⇒ SELECT Lock

House

Temperature Manager

Luminosity Manager

SecurityManager

Opening

Sensors Lock

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


OpenedState

Kind

Door Window


KeyMandatory


XOR

OR

interFM implication

CentralComputer

Digital


Running Example: Constraints

32

source:Openingtarget:Room

Rule :Excluded Lock ⇒ DESELECT Locking

House

Temperature Manager

Luminosity Manager

SecurityManager

Opening

Sensors Lock

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


OpenedState

Kind

Door Window


KeyMandatory


XOR

OR

interFM implication

CentralComputer

Digital


Constraints in real life

33

source:Roomtarget:Opening

Rule :Selected RollerStore and Excluded Presence

⇒ Add Constraint Door or RollerStore

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


Opening

Sensors Lock

OpenedState

Kind

Door Window


House

Temperature Manager

Luminosity Manager

SecurityManager

CentralComputer

Digital


Derive a complex configuration

34



SecurityManager}



frontDoor:Opening


mainRoom:Room






OpenedState}


Providing flexibility and consistency

35Logo from conTeXt tool.


Providing flexibility and consistency

36

Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

House

Temperature Manager

Luminosity Manager

SecurityManager

CentralComputer✗

✗✔ ︎

Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital✔ ︎ ✔ ︎

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


✔ ︎

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


✔ ︎ ✗

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking



Global context

37


1..*0..1

contains contains

hasGateways


SecurityManager}



frontDoor:Opening


mainRoom:Room






OpenedState}


Global context

38

House

Temperature Manager

Luminosity Manager

SecurityManager

Opening

Sensors Lock

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


OpenedState

Kind

Door Window


KeyMandatory


XOR

OR

interFM implication

CentralComputer

Digital


SecurityManager}



frontDoor:Opening


mainRoom:Room






OpenedState}


Local context

39


1..*0..1

contains contains

hasGateways



frontDoor:Opening



Local context

40

House

Temperature Manager

Luminosity Manager

SecurityManager

Opening

Sensors Lock

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


OpenedState

Kind

Door Window


KeyMandatory


XOR

OR

interFM implication

CentralComputer

Digital



frontDoor:Opening



Propagation: ensuring consistency through all contexts

41

global contextcontext 2

context 1


SecurityManager}



frontDoor:Opening


mainRoom:Room






OpenedState}


Propagation

42

global contextHouse

Temperature Manager

Luminosity Manager

SecurityManager

CentralComputer

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital


Propagation

43

global contextHouse

Temperature Manager

Luminosity Manager

SecurityManager

CentralComputer

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


context 1

Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking



Propagation

44

global contextHouse

Temperature Manager

Luminosity Manager

SecurityManager

CentralComputer

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


context 1

Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital


Propagation

45

global contextHouse

Temperature Manager

Luminosity Manager

SecurityManager

CentralComputer

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


context 1

Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

✔ ︎


Constraints reminder

46

House

Temperature Manager

Luminosity Manager

SecurityManager

Opening

Sensors Lock

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


OpenedState

Kind

Door Window


KeyMandatory


XOR

OR

interFM implication

CentralComputer

Digital


Propagation

47

global contextHouse

Temperature Manager

Luminosity Manager

SecurityManager

CentralComputer

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


context 1

Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

✔ ︎

✔ ︎


Propagation

48

global contextHouse

Temperature Manager

Luminosity Manager

SecurityManager

CentralComputer

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


context 1

Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

✔ ︎

✔ ︎

Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

context 2Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


✔ ︎



49

House

Temperature Manager

Luminosity Manager

SecurityManager

Opening

Sensors Lock

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


OpenedState

Kind

Door Window


KeyMandatory


XOR

OR

interFM implication

CentralComputer

Digital


Propagation

50

global contextHouse

Temperature Manager

Luminosity Manager

SecurityManager

CentralComputer

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


context 1

Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

✔ ︎

✔ ︎

Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

context 2Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


✔ ︎

✔ ︎



51

House

Temperature Manager

Luminosity Manager

SecurityManager

Opening

Sensors Lock

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


OpenedState

Kind

Door Window


KeyMandatory


XOR

OR

interFM implication

CentralComputer

Digital


Propagation

52

global contextHouse

Temperature Manager

Luminosity Manager

SecurityManager

CentralComputer

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


context 1

Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

✔ ︎

✔ ︎

Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

context 2Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


✔ ︎

✔ ︎

✔ ︎✔ ︎

✔ ︎✔ ︎

✔ ︎


Propagation

53

global contextHouse

Temperature Manager

Luminosity Manager

SecurityManager

CentralComputer

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


context 1

Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

✔ ︎

✔ ︎

Opening

Sensors Lock

OpenedState

Kind

Door Window


Digital

context 2Room

Sensors Actuators

Temperature

Lightning


Thermostat

Locking


✔ ︎

✔ ︎

✔ ︎✔ ︎

✔ ︎✔ ︎

✔ ︎

✔ ︎ ✔ ︎✔ ︎

✔ ︎✔ ︎

✔ ︎ ✔ ︎ ✔ ︎


Propagation Algorithm

• Hypothesis: the SPL is consistent

‣ Incremental algorithm based on biconnected components

• Always terminate

• Always reduce the solution scope

54


Application on SPL for digital signage systems

55

Urli, S., Blay-Fornarino, M., Collet, P., Mosser, S., & Riveill, M. (2014). Managing a Software Ecosystem Using a Multiple Software Product Line: a Case Study on Digital Signage Systems. (SEAA'14)


Application on YourCast

56

Urli, S., Blay-Fornarino, M., Collet, P., Mosser, S., & Riveill, M. (2014). Managing a Software Ecosystem Using a Multiple Software Product Line: a Case Study on Digital Signage Systems. (SEAA'14)


Results on YourCastBased on 5 different complex configurations.

58

Min. Max. Average

# Configurations 9 61 31

# Contexts 5 32 16

Propagation time 1 ms 3622 ms 260 ms

# User actions 68 348 208

# FM actions 709 5726 2918


SpineFM: application on YourCast

59

6 %94 %

Manual actionsAutomatic actions


Future Work

• Formalize the whole approach (ongoing)

• Improve the expressiveness of domain model

• Allow constraints on the model

• Support undoing actions

• Industrialize our case study:

60


Thanks for your attention!

‣ Tooled approach

‣ Design a SPL with several FMs

‣ High level abstraction of the domain

‣ Flexible derivation process

‣ Ensure consistency of the configuration

‣ Validated on a real system

61

[email protected] http://github.com/surli/spinefm





handling complex configurations in software product lines: a tooled approach

Science

open kind

smarthomesplc14 florence

simpleflatsplc14 florence

op kind

actua kind

different configurations

actuato presence

users choices