Computing and Communication in the Presence of Mobility

1
Computing and Communicationin the Presence of
Mobility

• Gruia-Catalin Roman
• 8 June 2004
• Mobile Computing Laboratory
• Department of Computer Science and Engineering

2
Project Team

• Faculty
• Gruia-Catalin Roman
• Doctoral Students
• Chien-Liang Fok
• Radu Handorean
• Jamie Payton
• Rohan Sen
• Octav Chipara (NSF - ITR)

• Doctoral graduates
• Christine Julien (UT Austin2004)
• Qingfeng Huang (PARC2003)

3
Recent Developments

• Research results dissemination
• 21 published papers
• 8 accepted papers
• Keynote talks invited papers
• Abstract State Machines (ASM 2003)
• Fundamental Approaches to Software Engineering
  (FASE 2004)
• Software Engineering for Large-scale Multi-agent
  Systems (SELMAS 2004)
• Planning for ICSE 2005
• Contessa project workshop
• International research summit

4
Research Themes

• MURI Project Themes
• Interoperability
• Context-awareness
• Formal models
• Middleware
• WUSTL Distinct Perspective
• Rapid development of dependable applications in
  the presence of mobility

5
Crosscutting Aspects

• Operational environmentintegrated treatment of
  logical and physical mobility
• Ad hoc networks Carl
• Sensor networks Carl, Gul, Nalini
• Agent systems Gul, Nalini
• Solution strategiesfrom models and analysis to
  middleware and applications
• Focus on adaptation mechanisms Carl, Nalini
• Reliance on context-awareness Carl, Nalini, Gul
• Convergence around coordination models Nalini
• Formal specification and analysis Carl, Gul,
  Jose

6
Project Evolution

• Middleware for Mobility
• EgoSpaces
• Asymmetric coordination constructs
• Transparent context maintenance
• Simplification of application development
• Service Oriented Computing in Ad Hoc Networks
• MURI Meeting Dec. 2003
• Automated code management
• Knowledge-driven interactions
• Follow-me sessions
• Mobile Agents in Sensor Networks
• Flexible in-network reprogramming
• Autonomous processing
• Intelligent emergent behavior

7
Collaborative Dimensions

• Multi-faceted collaboration with UCI
• Agent Systems for Sensor Networks
• Development of autonomous agents
• Deployment on 50 motes in the Mobilab
• Mobile Interoperating Systems
• Adaptable applications for grid and ad hoc
  networks
• Intelligent evolution between modes
• Access Control in Resource Poor Environments
• Multi-level security domains

8
Project Evolution

• Advanced primitives for mobile computing
• Context-Sensitive Data Structures (CSDS)
• Language level coordination
• Distributed data structures across ad hoc
  networks
• Context-Sensitive Binding (CSB)
• Context-aware resource usage
• Decoupling of interface from realization
• Knowledge acquisition and planning

9
Project Evolution

• Foundations for Mobile Computing
• Algorithms
• Network Abstraction MURI Meeting Apr. 2003
• Mobicast
• Spatiotemporal Communication
• Disconnected Message Delivery
• Formal Models
• Mobile UNITY
• Coordination Middleware Semantics
• Coordination Schemas
• Context UNITY MURI Meeting Jun. 2004

10
Feature Presentation

• An Agent-Centered Perspective on
• Context-Aware Computing

11
Disconnected Message Delivery
e
e
d
d
f
f
v1
v1
From time t0 to t1
From time t1 to t2
e
d
f
v1
f
From time t2 to t3
e
d
Time
to
t1
t2
t3
12
Context-Sensitive Data Structures
Dynamic Context
Logical View
Programmers Perspective
getFirst() removeFirst()
13
EgoSpaces

• Asymmetric coordination middleware
• Personalization
• Declarative specification
• Transparent maintenance
• Access control

14
Service Provision in Ad Hoc Networks

• Follow-me session management

New server providing the same service
Another server host
Server host
Server code deployed by client
Server Migration
Transfer state
Use Same Service
Use Service
Use Service
Pull Server
Use Service
Use Service
Use Service
Use Service
Use New Server
Task Finished
Push Server
Push Server
Client application
Server process
15
Agent Coordination in Sensor Nets
2
1
3
4