self-introductionhorizons.free.fr/his/documents/talks/2007-10-04... · self-introduction who am i ?...
TRANSCRIPT
![Page 1: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/1.jpg)
Self-IntroductionWho am I ?
Christian Hoareauクリスチャン ワロー
Sokendai (1st-year PhD student)
Prof. Ichiro Satoh
Ubiquitous Computing
Supervisor
Affiliation
Research
Country
Homepage web.mac.com/christianhoareau
![Page 2: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/2.jpg)
Self-IntroductionWho am I ?
Christian Hoareauクリスチャン ワロー
B.Sc. in CS
2003 2005 2006
System Engineer (IBM)
PhD studentM.Sc. in CSDistributed Systems
Saint-Denis Paris Tokyo
![Page 3: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/3.jpg)
• One of the four overseas départements of France• The outermost region of European Union• Volcanic island• Population : 800, 000+ • ....
Réunionなに?
![Page 4: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/4.jpg)
RéunionJust a glance
![Page 5: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/5.jpg)
Ubiquitous Computing, Location-Awareness andQuery Processing
Christian Hoareau
![Page 6: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/6.jpg)
Ubiquitous Computing
Context and Location-Awareness
Location-Based Services
Query Processing
OverviewPyramidal Presentation
![Page 7: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/7.jpg)
-- Oxford English Dictionnary
ubiquitous |yoōˈbikwətəs|
present, appearing, or found everywhere.
A little of Lexical SemanticsWhat does it mean ?
The computation has become ubiquitous or .... • pervasive• ambient • sentient• everyware• ...
![Page 8: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/8.jpg)
?
1960~1970s 1980~1990s 2000 ~
![Page 9: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/9.jpg)
?
1960~1970s 1980~1990s 2000 ~
one computer for
many people
one computer for
everyone
many computing devices for everyone
size
number
![Page 10: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/10.jpg)
• Embedded processors• smaller, cheaper and faster• lightweight• more energy efficient
• Wireless communications• ad/hoc• low power• high bandwidth
• Storage• bigger and faster
• Sensors
Ubiquitous computingInformation Processing Capabilities
⇒ Context-Awareness
![Page 11: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/11.jpg)
Ubiquitous Computing
Context and Location-Awareness
Location-Based Services
Query Processing
OverviewPyramidal Presentation
![Page 12: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/12.jpg)
ContextSome Definitions
• Location and identity of nearby people and object [Schilit and Theimer, 1994]
• Location, identity, environment and time [Ryan et al., 1994]
• Any information that can be used to characterize the situation of entities [Dey et al., 1996]
• Context encompasses more than just the user’s location, because other things of interest are also mobile and changing. Context includes lighting, noise level, network connectivity, communication costs, communication bandwidth, and even the social situation; e.g., whether you are with your manager or with a co-worker [Schilit, 1998]
![Page 13: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/13.jpg)
• Context Value Chain [Hegering et al., 2003]
Context-Aware Services
![Page 14: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/14.jpg)
Ubiquitous Computing
Context and Location-Awareness
Location-Based Services
Query Processing
OverviewPyramidal Presentation
![Page 15: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/15.jpg)
Location-Based Services (LBS)Overview
... but :• tend to be application-specific• usually rely on centralized, and inadequate, database systems
Prominent applications of Ubiquitous Computing...• Location provides relevant information on users’ context• Numerous location tracking systems now widely available (GPS, RFID-tags, WiFi-based positioning, etc.)• Many application domains (e.g., maps & way finding, tracking, social mobile apps, location-specific content)
![Page 16: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/16.jpg)
[Becker et al. , 2005]• simple position queries, e.g. ”where is the conference room ?”• nearest neighbor queries, e.g. ”where is the closest sushi restaurant ?”• naviguation queries, e.g. ”how to reach the bus terminal ?”• range queries, e.g. ”what are the conbinis located in my neighboorhood ?”
LBSQuery Processing
⇒ Goal : Provide a query framework for LBS, by exploring the connection between decentralized location model and query processing
![Page 17: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/17.jpg)
Query Processing for LBSWhy ?
![Page 18: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/18.jpg)
Query Processing for LBSWhy ?
⇒ Goal : Provide a query framework for indoor LBS, by exploring the connection between decentralized location model and query processing
indoor query processing
?
![Page 19: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/19.jpg)
Query Processing for LBSLocation Modeling
Hospital
Floor 1 Roof
Helicopter
Pilot Victim First aider
Elevator Surgery
Nurse
........
PDA-1 PDA-2
.....
place
entity
device
⇒ Query Processing as Dynamic graph search
![Page 20: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/20.jpg)
1. From Model Checking to Query Processing
2. Hybrid Logic-Based Query Language
Query Processing for LBSApproach
![Page 21: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/21.jpg)
Model CheckingComputer-Aided Verification
⇒ Sucessfully applied in both hardware and software verification • Industrial standard tool for hardware design • Communication & security protocols “Bug-Fixer” • ......• Foundations for a location query language ?
[Clarke et al. , 2000]Goal : to verify that a system satisfies its specification by
(1) representing the system as a graph (i.e. Kripke structure)(2) writing the specification in a suitable modal logic formula (3) algorithmically check that the graph is a model of the specification formula
![Page 22: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/22.jpg)
Database
Evaluating Logic Formulas (SQL queries)
↓Finite Structures (Relational Databases)
Model Checking-Based Query LanguageComputer-Aided Verification
Model Checking
Evaluating Logic Formulas (specification)
↓Finite Structures (Kripke structures)
[Negri et al. , 1991]
We propose :(1) Kripke-like Structure, as an extension of the location model itself(2) A Modal Logic-based Query Language
![Page 23: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/23.jpg)
Query Processing for LBSLocation Modeling
Hospital
Floor 1 Roof
Helicopter
Pilot Victim First aider
Elevator Surgery
Nurse
........
PDA-1 PDA-2
.....
place
entity
device
![Page 24: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/24.jpg)
Data ModelHierarchal Space Graph
! PDA-2
! Pilot! Victim! First Aider
! PDA-1
! Nurse
! Elevator! Surgery
! Helicopter
! Floor 1! Roof
Hospital
Floor 1 Roof
Helicopter
Pilot Victim First aider
Elevator Surgery
Nurse
PDA-1 PDA-2
Place
Label
R" transition
R# transition
! child 1
! child n
...
![Page 25: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/25.jpg)
Query ProcessingHybrid Logics
• Nominals : propositional variables that are true at exactly one node in the state graph
• Access operator : it gives random access to a node of the state graph
• Downarrow binder : it creates a brand new name n and assigns it to the current node.
user's location location model
location query
q"here"
q
......
![Page 26: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/26.jpg)
Query languageDefinition
Meaning of a formula = a satisfaction relation connecting the hierarchical graph with the formula.
Context Query
![Page 27: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/27.jpg)
Query languageSemantics
p!x p
x
![Page 28: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/28.jpg)
G, b, hospital |= E!surgery
Query languageExample 1
! PDA-2
! Pilot! Victim! First Aider
! PDA-1
! Nurse
! Elevator! Surgery
! Helicopter
! Floor 1! Roof
Hospital
Floor 1 Roof
Helicopter
Pilot Victim First aider
Elevator Surgery
Nurse
PDA-1 PDA-2
Place
Label
R" transition
R# transition
! child 1
! child n
...
![Page 29: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/29.jpg)
Query languageExample 2
! PDA-2
! Pilot! Victim! First Aider
! PDA-1
! Nurse
! Elevator! Surgery
! Helicopter
! Floor 1! Roof
Hospital
Floor 1 Roof
Helicopter
Pilot Victim First aider
Elevator Surgery
Nurse
PDA-1 PDA-2
Place
Label
R" transition
R# transition
! child 1
! child n
...
![Page 30: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/30.jpg)
ImplementationPrototype Architecture
OCAML Runtime
Interaction Shell
Model
Builder
Query
Parsing
HL Model
Checker
Checkery
Core System
Location
Query
Current Location
Tree Graph
Binders
Context
Query
EvaluationNetworked-Files Tree Structure
![Page 31: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/31.jpg)
ConclusionRoadmap
• Experiments in a real environment (museum)
• From static to dynamic locations
• Security policy• Access control mechanisms• Privacy
• Human-readable query language encapsulation
• GUI for mobile search
![Page 32: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/32.jpg)
[Negri et al. , 1991] M. Negri, G. Pelagatti and L. Sbattella, Formal Semantics of SQL Queries, ACM Trans. on Database Systems, vol.16, no.3, pp.513-534, ACM Press, 1991.
[Clarke et al. , 2000] E. Clarke O. Grumberg, D. Andpeled, Model Checking, MIT Press, 2000.
[Franceschet et al. , 2004] M. Franceschet, A. Montanari and M. de Rijke, Model Checking for Combined Logics with an Application to Mobile Systems, Automated Software Engineering, vol.11, no.3, pp.289-321, Kluwer Academic Publishers, 2004.
[Becker et al. , 2005] M. Bauer, C. Becker and K. Rothermel, Location Models from the Perspective of Context-Aware Applications and Mobile Ad Hoc Networks, Personal and Ubiquitous Computing, vol.6, no.5-6, pp.322-328, Springer-Verlag, 2002.
[Areces et al., 2005] C. Areces and B. ten Cate, Hybrid Logics, Handbook of Modal Logic, P. Blackburn, F. Wolter and J. van Benthem, ed., 2005.
References“Stand on the shoulders of giants”
![Page 33: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/33.jpg)
Questions
?
![Page 34: Self-Introductionhorizons.free.fr/his/documents/talks/2007-10-04... · Self-Introduction Who am I ? Christian Hoareau クリスチャン ワロー B.Sc. in CS 2003 2005 2006 System](https://reader036.vdocuments.net/reader036/viewer/2022070923/5fbb0df1a7156d7686304322/html5/thumbnails/34.jpg)
Ubiquitous Computing
Context and Location-Awareness
Location Modeling
Query Processing
OverviewPyramidal Presentation
Thank You !