This slideshow was presented during the FOMCHI 2015 workshop. It presents the basic ideas behind LIDL in a simple way.

1. LIDLLIDL Interaction Description Language
Vincent Lecrubier
ONERA, Toulouse

2. Contents
Why
What
How

3. Why
What
How

4. Context
Critical
UIs
Formal proof
Static analysis
B Method
Petri nets
State machines
Model checking
Extensive testing
Usability analysis
User experience
Look & Feel design
Human factors
Prototyping
Critical Systems User Interfaces
Long development cycles Short development cycles
Proven technologies New modalities

5. Context
Definition
Specification
Implementation
Verification
Validation
Prototyping
Testing
Model CheckingFormalization
Prototype
Code
Runtime
Code
Textual
Spec.
Test
Cases
High
Level
Definition
Test
Cases
Runtime
Code
High
Level
Rqmts.
Textual
Spec.
Model
Checking
Code
Safety
Properties
Textual
Spec.
Need Solution

6. Context
Prototype
Code
Runtime
Code
Textual
Spec.
Test
Cases
High
Level
Definition
Test
Cases
Runtime
Code
High
Level
Rqmts.
Textual
Spec.
Model
Checking
Code
Safety
Properties
Textual
Spec.
Need Solution

7. Interactive systems

8. Interactive systems
B
C
A
D

9. Interactive systems
Data

10. Interactive systems
Data
Computation

11. Interactive systems
Data
Computation
Interaction

12. Interactive systems
Data
Computation
Interaction
XML, JSON, CSV, HTML, SQL…
C, Lisp, Java, ML, Javascript, Lustre…
?

13. Computation vs Interaction

14. Computation vs Interaction
Result
Parameters

15. Computation vs Interaction
Result
Parameters
Compound interaction
Simple interactions

16. Why
What
How

17. LIDL
LIDL code
C codeJS code

18. LIDL Programs structure

19. LIDL Programs structure
data
TheDataType
is
…

20. LIDL Programs structure
data
TheDataType
is
…
interface
TheInterface
is
…

21. LIDL Programs structure
data
TheDataType
is
…
interface
TheInterface
is
…
interaction
(say (something:Text in) to (someone:Text out)):Activation in
is
…

22. Data types

23. Data types
data Square
data Cylinder
data Pentagon
data Triangle

24. Data types
data Square
data Cylinder
data Pentagon
data Triangle
data MyCompoundType is
{
redSquare : Square,
greenPentagon : Pentagon,
yellowTriangle : Triangle,
blueCylinder : Cylinder
}

25. Interfaces

26. Interfaces

27. Interfaces
interface Example is
{
redSquares : Square in,
greenPentagons : Pentagon in,
yellowTriangles : Triangle out,
blueCylinders : Cylinder out
}

28. Interaction

29. Interaction
interaction
(turn (thing: Color out) red): Activation in
is
((thing)=({red:(255),green:(0),blue:(0)}))

30. Interaction
interaction
(turn (thing: Color out) red): Activation in
is
((thing)=({red:(255),green:(0),blue:(0)}))
()=()
thing {…}
255 0 0

31. Interaction
()=()
thing {…}
255 0 0
()=()
thing
{…}
255 0 0
interaction
(turn (thing: Color out) red): Activation in
is
((thing)=({red:(255),green:(0),blue:(0)}))

32. Syntax

33. Syntax
C, Java computeBMI(83,185)

34. Syntax
C, Java computeBMI(83,185)
Javascript computeBMI({weight:83,height:185})

35. Syntax
C, Java computeBMI(83,185)
Javascript computeBMI({weight:83,height:185})
C#, Swift computeBMI(weight:83,height:185)

36. Syntax
C, Java computeBMI(83,185)
Javascript computeBMI({weight:83,height:185})
C#, Swift computeBMI(weight:83,height:185)
LIDL (BMI of someone who weights (83)kg and is (185)cm high)

37. Synchronous execution

38. Synchronous execution

39. Synchronous execution
4 ~~
3 ~1
2 3 ~
~5 2
~ ~5
~ 22
~ ~3
~53
42 ~
squaretrianglepentagon

40. Everything is an interaction

41. Everything is an interaction
((x)=(5))

42. Everything is an interaction
((x)=(5))
()=()
x 5

43. Everything is an interaction
((x)=(5))
()=()
x 5
()=()
x
5

44. Everything is an interaction
((both(x)and(y))=((5)+(3)))
()=()
x
()+()
both()
and()
y 5 3
()=()
x
()+()
both()
and()
y
5 3

45. Base interactions
({x()y()})
Composition/Decomposition
Selection/Deselection
(().x)
Previous
(previous())
Function application
(()in()()=())

46. Composition/Decomposition
({x(5)y(6)})
Composition
{x()
y()}
5 3
({x(a)y(b)})
Decomposition
{x()
y()}
a b
65
{x:5,y:6} {x:5,y:6}
65

47. Selection/Deselection
((mypoint).x)
Selection
().x
my
point
((mypoint).x)
Deselection
().x
my
point
{x:5,y:6}
5
{x:5}
5

48. Previous
(previous(x))
previous()
x
previous()
x
previous()
x
previous()
x
previous()
x

49. Function application
((a)in(sin)(x)=(y))
()in
()()
=()
a x
pi
5
sin y
5
sin
0

50. Function application
((y)in(sin)(x)=(y))
()in
()()
=()
y x
pi
0
sin
0
sin
((x)in(sin)(x)=(y))
()in
()()
=()
y x
pi
0
sin
pi
sin

51. Summary
Generally describe any interactive system
Based on the concept of interface and interaction
Think differently
LIDL
Synchronous execution
Declarative

52. LIDL workshop
Code editor
Prototype
Trace viewer

53. Why
What
How

54. Using LIDL

55. Using LIDL
User HMI Reactor
ReactorUser Reactor

56. Using LIDL

57. Using LIDL
interface Reactor is
{
command:{
sv1: Boolean,
sv2: Boolean,
wv1: Boolean,
wv2: Boolean,
wp1: Number,
wp2: Number,
cp: Nubmer,
rodPosition: Number
} in,
status:{
sv1: Boolean,
sv2: Boolean,
wv1: Boolean,
wv2: Boolean,
cpUmin: Number,
wp1Umin:Number,
wp2Umin:Number,
rodPosition:Number,
outputPower:Number,
reactorWaterLevel:Number,
reactorPressure:Number,
condenserWaterLevel:Number,
condenserPressure:Number
} out
}

58. Using LIDL
interface ReactorUser is
{
powerDisplay: Label,
reactor: DualGaugeWidget,
condenser: DualGaugeWidget,
controlRods: ComplexSlider,
wp1: ComplexSlider,
wp2: ComplexSlider,
cp: ComplexSlider,
sv1: ValveWidget,
sv2: ValveWidget,
wv1: ValveWidget,
wv1: ValveWidget,
leds: MultipleLedWidget
}

59. Using LIDL
interaction
(human machine interface connecting (user:ReactorUser) to (reactor:Reactor)):Activation in
is
((user)=({
powerDisplay:
(label (active) displaying (reactor.status.outputPower))
reactor:
(dual gauge (active) with water level (reactor.status.reactorWaterLevel))
condenser:
…
…
}))
interface ReactorUser is
{
powerDisplay: Label,
reactor: DualGaugeWidget,
condenser: DualGaugeWidget,
controlRods: ComplexSlider,
wp1: ComplexSlider,
wp2: ComplexSlider,
cp: ComplexSlider,
sv1: ValveWidget,
sv2: ValveWidget,
wv1: ValveWidget,
wv1: ValveWidget,
leds: MultipleLedWidget
}

60. Using LIDL
interface Task is
{
start: Activation in,
abort: Activation in,
progress: Number out,
running: Activation out,
finished: Activation out
}
interaction
(reactor user manual (reactor:co(ReactorUser))):Task
is
( sequentially
(start up (reactor))
(operate (reactor))
(shut down (reactor))
)
interaction
(start up (reactor:co(ReactorUser))):Task
is
( sequentially
( all
(open valve (reactor.sv1))
(open valve (reactor.wv1))
)
( all
( set slider (reactor.wp1) to (1000))
( set slider (reactor.cp) to (1000))
)
( set slider (reactor.controlRods) to (90))
)

61. Questions