grand challenges: what and why? one challenge: a science ... · the challenge: science for global...
TRANSCRIPT
![Page 1: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/1.jpg)
A SCIENTIFIC HORIZON FOR COMPUTING
Robin Milner, WCC 2004
• Grand Challenges: what and why?
• One Challenge: A science for Global Ubiquitous Computing
• Mounting this Challenge
• Some theoretical beginnings
1
![Page 2: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/2.jpg)
A SCIENTIFIC HORIZON FOR COMPUTING
Robin Milner, WCC 2004
• Grand Challenges: what and why?
• One Challenge: A science for Global Ubiquitous Computing
• Mounting this Challenge
• Some theoretical beginnings
2
![Page 3: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/3.jpg)
A SCIENTIFIC HORIZON FOR COMPUTING
Robin Milner, WCC 2004
• Grand Challenges: what and why?
• One Challenge: A science for Global Ubiquitous Computing
• Mounting this Challenge
• Some theoretical beginnings
3
![Page 4: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/4.jpg)
A SCIENTIFIC HORIZON FOR COMPUTING
Robin Milner, WCC 2004
• Grand Challenges: what and why?
• One Challenge: A science for Global Ubiquitous Computing
• Mounting this Challenge
• Some theoretical beginnings
4
![Page 5: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/5.jpg)
A SCIENTIFIC HORIZON FOR COMPUTING
Robin Milner, WCC 2004
• Grand Challenges: what and why?
• One Challenge: A science for Global Ubiquitous Computing
• Mounting this Challenge
• Some beginnings
5
![Page 6: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/6.jpg)
WHAT IS A GRAND CHALLENGE?
• A fifteen year project in basic Science or Engineering . . .
• . . . with clear goals, clear failure criteria . . .
• and worldwide participation.
6
![Page 7: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/7.jpg)
WHAT IS A GRAND CHALLENGE?
• A fifteen year project in basic science or engineering . . .
• . . . with clear goals, clear failure criteria . . .
• and worldwide participation.
7
![Page 8: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/8.jpg)
WHAT IS A GRAND CHALLENGE?
• A fifteen year project in basic science or engineering . . .
• . . . with clear goals, clear failure criteria . . .
• and worldwide participation.
8
![Page 9: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/9.jpg)
WHAT IS A GRAND CHALLENGE?
• A fifteen year project in basic science or engineering . . .
• . . . with clear goals, clear failure criteria . . .
• and worldwide participation.
9
![Page 10: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/10.jpg)
WHAT IS A GRAND CHALLENGE EXERCISE?
• The community examines and adopts long-term goals . . .
• . . . from within the science, not outside it.
• Thus to develop and refine a portfolio of proposals . . .
• . . . to show the public (and funders) what we aspire to.
10
![Page 11: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/11.jpg)
WHAT IS A GRAND CHALLENGE EXERCISE?
• The community examines and adopts long-term goals . . .
• . . . from within the science, not outside it.
• Thus to develop and refine a portfolio of proposals . . .
• . . . to show the public (and funders) what we aspire to.
11
![Page 12: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/12.jpg)
WHAT IS A GRAND CHALLENGE EXERCISE?
• The community examines and adopts long-term goals . . .
• . . . from within the science, not outside it.
• Thus to develop and refine a portfolio of proposals . . .
• . . . showing the public (and funders) what we aspire to.
12
![Page 13: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/13.jpg)
WHAT IS A GRAND CHALLENGE EXERCISE?
• The community examines and adopts long-term goals . . .
• . . . from within the science, not outside it.
• Thus to develop and refine a portfolio of proposals . . .
• . . . showing the public (and funders) what we aspire to.
13
![Page 14: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/14.jpg)
WHAT IS A GRAND CHALLENGE EXERCISE?
• The community examines and adopts long-term goals . . .
• . . . from within the science, not outside it.
• Thus to develop and refine a portfolio of proposals . . .
• . . . showing the public (and funders) what we aspire to.
14
![Page 15: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/15.jpg)
THE UK GRAND CHALLENGE PROPOSALS
1 IVIS: In Vivo⇔ In Silico
2 Science for GlobalUbiquitous Computing
3 Memories for Life
4 Scalable UbiquitousComputing Systems
5 Architecture forBrain and Mind
6 Dependable SystemsEvolution
7 Journeys in Non-ClassicalComputation
15
![Page 16: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/16.jpg)
SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING
• By 2020, a single Global Ubiquitous Computer (GUC)
• Part designed, part natural phenomenon
• Shall we understand it?
16
![Page 17: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/17.jpg)
SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING
• By 2020, a single Global Ubiquitous Computer (GUC)
• Part designed, part natural phenomenon
• Shall we understand it?
17
![Page 18: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/18.jpg)
SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING
• By 2020, a single Global Ubiquitous Computer (GUC)
• Part designed, part natural phenomenon
• Shall we understand it?
18
![Page 19: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/19.jpg)
SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING
• By 2020, a single Global Ubiquitous Computer (GUC)
• Part designed, part natural phenomenon
• Shall we understand it?
19
![Page 20: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/20.jpg)
UNDERSTANDING and BUILDING
• Underlying both are modelling kits
• Traditional science and engineering hasDifferential equations, Laplace transforms, Matrix algebra, . . .
. . . and they join understanding with building
• Computer science and engineering hasAutomata, Languages, Relational algebra, Network theories, Logics,Stochastics, Type theory, Process calculi, Semi-structured data, . . .
. . . but the junction is tenuous. Why?
• For Ubiquity?? Separation will lead to stagnation or worse.
20
![Page 21: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/21.jpg)
UNDERSTANDING and BUILDING
• Underlying both are modelling kits
• Traditional science and engineering hasDifferential equations, Laplace transforms, Matrix algebra, . . .
. . . and they join understanding with building
• Computer science and engineering hasAutomata, Languages, Relational algebra, Network theories, Logics,Stochastics, Type theory, Process calculi, Semi-structured data, . . .
. . . but the junction is tenuous. Why?
• For Ubiquity?? Separation will lead to stagnation or worse.
21
![Page 22: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/22.jpg)
UNDERSTANDING and BUILDING
• Underlying both are modelling kits
• Traditional science and engineering hasDifferential equations, Laplace transforms, Matrix algebra, . . .
. . . and they join understanding with building
• Computer science and engineering hasAutomata, Languages, Relational algebra, Network theories, Logics,Stochastics, Type theory, Process calculi, Semi-structured data, . . .
. . . but the junction is tenuous. Why?
• For Ubiquity?? Separation will lead to stagnation or worse.
22
![Page 23: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/23.jpg)
UNDERSTANDING and BUILDING
• Underlying both are modelling kits
• Traditional science and engineering hasDifferential equations, Laplace transforms, Matrix algebra, . . .
. . . and they join understanding with building
• Computer science and engineering hasAutomata, Languages, Relational algebra, Network theories, Logics,Stochastics, Type theory, Process calculi, Semi-structured data, . . .
. . . but the junction is tenuous. Why?
• For Ubiquity?? Separation will lead to stagnation or worse.
23
![Page 24: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/24.jpg)
JUNCTION BETWEEN SCIENCE AND ENGINEERING IN COMPUTING
TENUOUS: theories only retrofitted. WHY?
• The Y2000 Problem: We knew the type theory to avoid it!The IEEE 802.11 WEP standard: We knew the analysis to debug it!
BUT
• Theories lag behind technology:This forms the habit not to use them
• In the software market speed of delivery is paramount:Software houses cannot afford time to deploy theories
24
![Page 25: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/25.jpg)
JUNCTION BETWEEN SCIENCE AND ENGINEERING IN COMPUTING
TENUOUS: theories only retrofitted. WHY?
• The Y2000 Problem: We knew the type theory to avoid it!The IEEE 802.11 WEP standard: We knew the analysis to debug it!
BUT
• Theories lag behind technology:This forms the habit not to use them
• In the software market speed of delivery is paramount:Software houses cannot afford time to deploy theories
25
![Page 26: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/26.jpg)
JUNCTION BETWEEN SCIENCE AND ENGINEERING IN COMPUTING
TENUOUS: theories only retrofitted. WHY?
• The Y2000 Problem: We knew the type theory to avoid it!The IEEE 802.11 WEP standard: We knew the analysis to debug it!
BUT
• Theories lag behind technology:This forms the habit not to use them
• In the software market speed of delivery is paramount:Software houses cannot afford time to deploy theories
26
![Page 27: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/27.jpg)
JUNCTION BETWEEN SCIENCE AND ENGINEERING IN COMPUTING
TENUOUS: theories only retrofitted. WHY?
• The Y2000 Problem: We knew the type theory to avoid it!The IEEE 802.11 WEP standard: We knew the analysis to debug it!
BUT
• Theories lag behind technology:This forms the habit not to use them
• In the software market speed of delivery is paramount:Software houses cannot afford time to deploy theories
27
![Page 28: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/28.jpg)
The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING
• To develop an informatic science whose concepts, calculi, theoriesand automated tools allow descriptive and predictive analysis of theGUC at each level of abstraction
• That every system and software construction —including languages—for the GUC shall employ only these concepts and calculi, and be anal-ysed and justified by these theories and tools.
www.nesc.ac.uk/esi/events/Grand_Challenges/proposals/Ubiq.pdf
An ideal goal? But no argument limits the degree of possible success!28
![Page 29: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/29.jpg)
The challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING
• To develop an informatic science whose concepts, calculi, theoriesand automated tools allow descriptive and predictive analysis of theGUC at each level of abstraction
• That every system and software construction —including languages—for the GUC shall employ only these concepts and calculi, and be anal-ysed and justified by these theories and tools.
www.nesc.ac.uk/esi/events/Grand_Challenges/proposals/Ubiq.pdf
An ideal goal? But no argument limits the degree of possible success!
29
![Page 30: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/30.jpg)
The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING
• To develop an informatic science whose concepts, calculi, theoriesand automated tools allow descriptive and predictive analysis of theGUC at each level of abstraction
• That every system and software construction —including languages—for the GUC shall employ only these concepts and calculi, and be anal-ysed and justified by these theories and tools.
www.nesc.ac.uk/esi/events/Grand_Challenges/proposals/Ubiq.pdf
An ideal goal? But no argument limits the degree of possible success!
30
![Page 31: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/31.jpg)
PLATFORM FOR GUC RESEARCH
Basic notions Automata; Relational databases; Program logics; Verifica-tion; Mathematical semantics; Type theories; . . .
Concurrent systems Petri nets; Process calculi; Logics; . . . of action
Ubiquity Mobility (ambients, pi calculus); Security and privacy; Bound-aries, resources and trust; Distributed data; Game-theoretic models;Hybrid systems; Stochastics; Model-checking; . . .
www.cl.cam.ac.uk/users/rm135/plat.pdf
. . . and what more?
31
![Page 32: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/32.jpg)
PLATFORM FOR GUC RESEARCH
Basic notions Automata; Relational databases; Program logics; Verifica-tion; Mathematical semantics; Type theories; . . .
Concurrent systems Petri nets; Process calculi; Logics of action; . . .
Ubiquity Mobility (ambients, pi calculus); Security and privacy; Bound-aries, resources and trust; Distributed data; Game-theoretic models;Hybrid systems; Stochastics; Model-checking; . . .
www.cl.cam.ac.uk/users/rm135/plat.pdf
. . . and what more?
32
![Page 33: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/33.jpg)
PLATFORM FOR GUC RESEARCH
Basic notions Automata; Relational databases; Program logics; Verifica-tion; Mathematical semantics; Type theories; . . .
Concurrent systems Petri nets; Process calculi; Logics of action; . . .
Ubiquity Mobility (ambients, pi calculus); Security and privacy; Bound-aries, resources and trust; Distributed data; Game-theoretic models;Hybrid systems; Stochastics; Model-checking; . . .
www.cl.cam.ac.uk/users/rm135/plat.pdf
. . . and what more?
33
![Page 34: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/34.jpg)
PLATFORM FOR GUC RESEARCH
Basic notions Automata; Relational databases; Program logics; Verifica-tion; Mathematical semantics; Type theories; . . .
Concurrent systems Petri nets; Process calculi; Logics of action; . . .
Ubiquity Mobility (ambients, pi calculus); Security and privacy; Bound-aries, resources and trust; Distributed data; Game-theoretic models;Hybrid systems; Stochastics; Model-checking; . . .
www.cl.cam.ac.uk/users/rm135/plat.pdf
. . . and what more?
34
![Page 35: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/35.jpg)
GUC RESEARCH: THREE KINDS OF PROJECT
Experimental Applications: Collaborate with designers of specific sys-tems. Examples:
• A sentient building• Healthcare coordinated across a city• Platform for business processes
Experimental Generic Systems: Collaborate with sister engineering GrandChallenge, Scalable Ubiquitous Computing Systems. Examples:
• Resource allocation in open distributed environment• Database design respecting provenance• Logic and language for reflectivity
A Theoretical Hierarchy: . . .35
![Page 36: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/36.jpg)
GUC RESEARCH: THREE KINDS OF PROJECT
Experimental Applications: Collaborate with designers of specific sys-tems. Examples:
• A sentient building• Healthcare coordinated across a city• Platform for business processes
Experimental Generic Systems: Collaborate with sister engineering GrandChallenge, Scalable Ubiquitous Computing Systems. Examples:
• Resource allocation in open distributed environment• Database design respecting provenance• Logic and language for reflectivity
A Theoretical Hierarchy: . . .36
![Page 37: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/37.jpg)
GUC RESEARCH: THREE KINDS OF PROJECT
Experimental Applications: Collaborate with designers of specific sys-tems. Examples:
• A sentient building• Healthcare coordinated across a city• Platform for business processes
Experimental Generic Systems: Collaborate with sister engineering GrandChallenge, Scalable Ubiquitous Computing Systems. Examples:
• Resource allocation in open distributed environment• Database design respecting provenance• Logic and language for reflectivity
A Theoretical Hierarchy: . . .37
![Page 38: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/38.jpg)
GUC RESEARCH: THREE KINDS OF PROJECT
Experimental Applications: Collaborate with designers of specific sys-tems. Examples:
• A sentient building• Healthcare coordinated across a city• Platform for business processes
Experimental Generic Systems: Collaborate with sister engineering GrandChallenge, Scalable Ubiquitous Computing Systems. Examples:
• Resource allocation in open distributed environment• Database design respecting provenance• Logic and language for reflectivity
A Theoretical Hierarchy: . . .38
![Page 39: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/39.jpg)
GUC RESEARCH: THREE KINDS OF PROJECT
Experimental Applications: Collaborate with designers of specific sys-tems. Examples:
• A sentient building• Healthcare coordinated across a city• Platform for business processes
Experimental Generic Systems: Collaborate with sister engineering GrandChallenge, Scalable Ubiquitous Computing Systems. Examples:
• Resource allocation in open distributed environment• Database design respecting provenance• Logic and language for reflectivity
A Theoretical Hierarchy: . . .39
![Page 40: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/40.jpg)
A THEORETICAL HIERARCHY
Theoretical goals for the Grand Challenge:
• To express theories for the GUC as a hierarchy of models and lan-guages, assigning each concept (e.g. trust) to a certain level in thehierarchy
• To define, for each model M , how a system description in M maybe realised or implemented in models/languages M1, . . . ,Mn lyingbelow M
Why do we need models at many abstraction levels?40
![Page 41: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/41.jpg)
A THEORETICAL HIERARCHY
Theoretical goals for the Grand Challenge:
• To express theories for the GUC as a hierarchy of models and lan-guages, assigning each concept (e.g. trust) to a certain level in thehierarchy
• To define, for each model M , how a system description in M maybe realised or implemented in models/languages M1, . . . ,Mn lyingbelow M
Why do we need models at many abstraction levels?41
![Page 42: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/42.jpg)
A THEORETICAL HIERARCHY
Theoretical goals for the Grand Challenge:
• To express theories for the GUC as a hierarchy of models and lan-guages, assigning each concept (e.g. trust) to a certain level in thehierarchy
• To define, for each model M , how a system description in M maybe realised or implemented in models/languages M1, . . . ,Mn lyingbelow M
Why do we need models at many abstraction levels?42
![Page 43: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/43.jpg)
A THEORETICAL HIERARCHY
Theoretical goals for the Grand Challenge:
• To express theories for the GUC as a hierarchy of models and lan-guages, assigning each concept (e.g. trust) to a certain level in thehierarchy
• To define, for each model M , how a system description in M maybe realised or implemented in models/languages M1, . . . ,Mn lyingbelow M
Why do we need models at many abstraction levels?43
![Page 44: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/44.jpg)
LEVELS OF MODELLING
Higher levels: logical, descriptional, specificational
• security and authentication requirements; logic of trust; beliefs,intentions; reflectivity requirements; failure strategy; probabilitylimits on performance/failure; . . . many higher levels
Lower levels: structural dynamics, coding
• locality refinement; programming; routing; assembly code: . . .
• many lower levels – e.g. higher-level language compiled to code,action-at-distance realised by explicit message routing
44
![Page 45: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/45.jpg)
LEVELS OF MODELLING
Higher levels: logical, descriptional, specificational
• security and authentication requirements; logic of trust; beliefs,intentions; reflectivity requirements; failure strategy; probabilitylimits on performance/failure; . . . many higher levels
Lower levels: structural dynamics, coding
• locality refinement; programming; routing; assembly code: . . .
• many lower levels – e.g. higher-level language compiled to code,action-at-distance realised by explicit message routing
45
![Page 46: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/46.jpg)
LEVELS OF MODELLING
Higher levels: logical, descriptional, specificational
• security and authentication requirements; logic of trust; beliefs,intentions; reflectivity requirements; failure strategy; probabilitylimits on performance/failure; . . . many higher levels
Lower levels: structural dynamics, coding
• locality refinement; programming; routing; assembly code: . . .
• many lower levels – e.g. higher-level language compiled to code,action-at-distance realised by explicit message routing
46
![Page 47: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/47.jpg)
LEVELS OF MODELLING
Higher levels: logical, descriptional, specificational
• security and authentication requirements; logic of trust; beliefs,intentions; reflectivity requirements; failure strategy; probabilitylimits on performance/failure; . . . many higher levels
Lower levels: structural dynamics, coding
• locality refinement; programming; routing; assembly code: . . .
• many lower levels – e.g. higher-level language compiled to code,action-at-distance realised by explicit message routing
47
![Page 48: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/48.jpg)
LEVELS OF MODELLING
Higher levels: logical, descriptional, specificational
• security and authentication requirements; logic of trust; beliefs,intentions; reflectivity requirements; failure strategy; probabilitylimits on performance/failure; . . . many higher levels
Lower levels: structural dynamics, coding
• locality refinement; programming; routing; assembly code: . . .
• many lower levels – e.g. higher-level language compiled to code,action-at-distance realised by explicit message routing
48
![Page 49: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/49.jpg)
THINGS TO THINK ABOUT . . . TODAY!
locality
connectivitysecurity authenticity
stochastics
continuous timecompilation
intentions
obligations
reflectivity
model-checkingspecification
data-protectionsimulation
continuous spacebeliefsencapsulation
delegationtrust
mobility
provenance
verificationfailure
49
![Page 50: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/50.jpg)
THINGS TO THINK ABOUT . . . TODAY!
locality
connectivitysecurity authenticity
stochastics
continuous timecompilation
intentions
obligations
reflectivity
model-checkingspecification
data-protectionsimulation
continuous spacebeliefsencapsulation
delegationtrust
mobility
provenance
verificationfailure
mobility
locality
connectivity
50
![Page 51: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/51.jpg)
A BEGINNING: STRUCTURAL DYNAMICS
• GUC systems reconfigure both their topography and their connectiv-ity , both physical and virtual.
• Mobile processes can be modelled by pi-calculus and by mobile am-bients . . .
• . . . so try using bigraphs which generalise these.
• Then extend to a stachastic model with continuous time and space. . .
• . . . both for modelling and for programming.
51
![Page 52: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/52.jpg)
A BEGINNING: STRUCTURAL DYNAMICS
• GUC systems reconfigure both their topography and their connectiv-ity , both physical and virtual.
• Mobile processes can be modelled by pi-calculus and by mobile am-bients . . .
• . . . so try using bigraphs which generalise these.
• Then extend to a stachastic model with continuous time and space. . .
• . . . both for modelling and for programming.
52
![Page 53: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/53.jpg)
A BEGINNING: STRUCTURAL DYNAMICS
• GUC systems reconfigure both their topography and their connectiv-ity , both physical and virtual.
• Mobile processes can be modelled by pi-calculus and by mobile am-bients . . .
• . . . so try using bigraphs, which generalise these.
• Then extend to a stochastic model with continuous time and space. . .
• . . . both for modelling and for programming.
53
![Page 54: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/54.jpg)
A BEGINNING: STRUCTURAL DYNAMICS
• GUC systems reconfigure both their topography and their connectiv-ity , both physical and virtual.
• Mobile processes can be modelled by pi-calculus and by mobile am-bients . . .
• . . . so try using bigraphs, which generalise these.
• Then extend to a stochastic model with continuous time and space . . .
• . . . both for modelling and for programming.
54
![Page 55: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/55.jpg)
A BEGINNING: STRUCTURAL DYNAMICS
• GUC systems reconfigure both their topography and their connectiv-ity , both physical and virtual.
• Mobile processes can be modelled by pi-calculus and by mobile am-bients . . .
• . . . so try using bigraphs, which generalise these.
• Then extend to a stochastic model with continuous time and space . . .
• . . . both for modelling and for programming.
55
![Page 56: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/56.jpg)
A TYPICAL BIGRAPH
key
lockadmin
message
56
![Page 57: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/57.jpg)
HOW A SYSTEM MAY RECONFIGURE . . . . . .
L
A
K
M
. . . and how itreconfigures
A pattern . . .
A REACTION RULEA
L
A
K
57
![Page 58: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/58.jpg)
. . . . . . AND THE NEW CONFIGURATION
A
M
. . . and how itreconfigures
A pattern . . .
A REACTION RULE
L
A
K
A
58
![Page 59: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/59.jpg)
INTERACTIONS IN A BUILT ENVIRONMENT (1)
A bigraph G with tworegions, representinga conference call
B BUILDINGR ROOMA AGENTC COMPUTER
AA
AA
RR R
B
C
y z
CC
G
59
![Page 60: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/60.jpg)
INTERACTIONS IN A BUILT ENVIRONMENT (2)
A host environment H,which G may inhabit
AA
AA
RR R
B
C
y z
CC
G
y
AR
x
z
C
B
H
60
![Page 61: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/61.jpg)
INTERACTIONS IN A BUILT ENVIRONMENT (3)
The larger environment, H ◦G. One agent leaves the call!Another moves into a room!
AA
A
RR
B
x
CC
H ◦G
RA
B
C
A
R
C
61
![Page 62: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/62.jpg)
INTERACTIONS IN A BUILT ENVIRONMENT (3)
The larger environment, H ◦G. One agent leaves the call!Another moves into a room!
AA
A
RR
B
x
CC
H ◦G
RA
B
C
A
R
C
62
![Page 63: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/63.jpg)
INTERACTIONS IN A BUILT ENVIRONMENT (3)
The larger environment, H ◦G. One agent leaves the call!Another moves into a room!
AA
A
RR
B
x
CC
H ◦G
R
B
C
A
R
CA
63
![Page 64: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/64.jpg)
CONCLUSION
• The challenge is to devise computational theories for GUC systemalongside the engineering of those systems. . .
AND
• . . . the sub-challenge is to establish dialogue between the theoristsand the engineers.
64
![Page 65: Grand Challenges: what and why? One Challenge: A science ... · The Challenge: SCIENCE FOR GLOBAL UBIQUITOUS COMPUTING To develop an informatic science whose concepts, calculi, theories](https://reader035.vdocuments.net/reader035/viewer/2022071021/5fd59f9daf1975292734de2c/html5/thumbnails/65.jpg)
FACTS on the GUC proposalwww.nesc.ac.uk/esi/events/Grand_Challenges/
Two linked Grand Challenge proposals. The website contains their propos-als, and runs a discussion group. Please join and participate!
• Science for the Global Ubiquitous Computermoderated by Marta Kwiatkowska and Vladi Sassone.
• Scalable Ubiquitous Computing Systemsmoderated by Jon Crowcroft.
• Both these GCs subscribe to UbiNet, a UK network on all aspects of ubiquitouscomputing, at www-dse.doc.ic.ac.uk/Projects/UbiNet/ .
• Also linked to an FET initiative GC2, Building the Case for Global Computing, forFramework 6 of the EC. www.cogs.susx.ac.uk/users/vs/gc2/gc2.pdf .
65