Presentation of the DiaSpec approach to GPCE 2009 in Denver.

1. A Generative Programming
Approach to Developing Pervasive
Computing Systems
Damien Cassou, Benjamin Bertran, Nicolas Loriant and Charles Consel
GPCE'09

2. Pervasive
Computing Systems
2

3. 3

4. Pervasive Computing
●
heterogeneity
●
lack of structuring
●
dynamicity
●
multiple expertise
●
testing  hardware/software
 functionalities
 interfaces
4

5. Pervasive Computing
●
heterogeneity
●
lack of structuring
●
dynamicity
●
multiple expertise  implicit interactions
●
testing  no global reasoning
 multi-roles components
5

6. Pervasive Computing
●
heterogeneity
●
lack of structuring
●
dynamicity
●
multiple expertise  incremental deployment
●
testing  mobility
 entity malfunction
6

7. Pervasive Computing
●
heterogeneity
●
lack of structuring
●
dynamicity
●
multiple expertise  hardware
●
testing  network protocols
 middleware
 user needs
7

8. Pervasive Computing
●
heterogeneity
●
lack of structuring
●
dynamicity
●
multiple expertise  time consuming
●
testing  cost ineffective
 limited situations
8

9. Pervasive Computing
●
heterogeneity ●
Existing approaches
●
lack of structuring
●
general purpose
●
dynamicity
●
multiple expertise
●
partial
●
testing
9

10. Our approach
10

11. Our approach
11

12. Fire management
scenario
12

13. 13

14. 1 Taxonomy
DSL to describe a hierarchy of devices
●
attributes
●
data gathered
●
actions supported
14

15. 1 Taxonomy
device SmokeDetector (Location loc){
source Smoke;
}
struct Smoke {
boolean isDetected;
}
15

16. 1 Taxonomy
device Sprinkler (Location loc) {
action OnOff;
}
action OnOff {
on(); off();
}
16

17. 17

18. 2 Architecture
DSL to instantiate a common
pervasive computing architectural pattern
18

19. 2 Architecture
19

20. 2 Architecture
context SmokeDetected: boolean {
source Smoke from SmokeDetector;
}
context FireState: boolean {
context SmokeDetected;
context AverageTemperature;
}
20

21. 2 Architecture
controller FireController {
context FireState;
action Activation on Alarm;
action OnOff on Sprinkler;
}
21

22. 3 Generated programming
framework
●
generated from the description
●
dedicated to the application
in a
GPL!
22

23. 3 Generated programming
framework
●
guides the implementation
●
abstracts the distributed back-end
●
provides high level support
in a
GPL!
23

24. 3 Generated programming
framework
...
24

25. 3 Generated programming
framework
●
interfaces
●
proxies
●
composites
●
support
➢
discovery
➢
RPC
●
and more
25

26. 4 Application development
guided by the description
through the generated framework
26

27. 4 Application development
controller FireController {
context FireState;
action OnOff on Sprinkler;
…
} architecture
framework
class MyFireCtrl extends FireController {
@Override
void fireStateChanged(boolean fire, Location loc) {
if (fire) {
discover(sprinklersWhere()…).on();
…
}
device discovery remote procedure call
…
} query language
}
user code
27

28. 5 Generated simulation support
28

29. 5 Generated simulation support
Editor
29

30. 5 Generated simulation support
Runtime platform
no additional code!
30

31. Conclusion & Future work
●
From a small description of a ●
Non-functional properties
pervasive computing system ●
security
●
a generated programming ●
fault tolerance
framework
●
Further leveraging on existing
– to guide the development approaches/tools
– to ensure conformance
●
unit testing
●
a support for graphical
●
refactoring
simulation
●
Generalizing our approach to
●
a middleware abstraction
other domains
layer
31