Transcript AOM Architecture for WSNs

Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Dart:
A Meta-Level Object-Oriented
Framework for Task-Specific
Behavior Modeling by
Domain Experts
Reza Razavi
Jean-François Perrot
Ralph Johnson
University of Luxembourg
LUXEMBOURG
[email protected]
Université Pierre et Marie
Curie – CNRS – LIP6, Paris –
France
[email protected]
University of Illinois at
Urbana Champaign,
Illinois – USA
[email protected]
R. Razavi et al.
.OOPSLA Workshop DSML‘06
-1-
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
A Wireless Sensor Network
Connecting together a large number of small computers with
sensing and actuating capabilities, to collectively and costeffectively solve problems, based on real-time data.
Background Photo: http://pinker.wjh.harvard.edu
R. Razavi et al.
.OOPSLA Workshop DSML‘06
-2-
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Dynamic Macroprogramming of WSNs by End-users (experts)
Query: detect
an animal
Requires specifying correlation of
time series of basic sensing data
into high-level semantic data
Query: photograph
speeding vehicles
Query: chart
traffic patterns
Requires specifying coordination
between tasks
Requires specifying a behavior
repeated over time
Background Photo: http://pinker.wjh.harvard.edu
R. Razavi et al.
.OOPSLA Workshop DSML‘06
-3-
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Requirements summary
•
•
•
•
End-users
•
Expressing
• Relatively easily
• Complex behavior
DSML Programmer: face diversity of application domains
Business-specific
•
•
•
Ontologies
Modeling constructs
Model execution strategies
DSML Programmers
•
Developing DSMLs for different application domains by
R. Razavi et al.
• Reuse
• Extension
.OOPSLA Workshop DSML‘06
-4-
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Task-Specific Behavior Modeling [B.A. Nardi]
Entities and relationships
1
Mobile 4Object
Pulse
3
Pulse Pair 3
Average Pulse Pairs
Animal
9
2
Mobile Object
Animal
Estimate
Motion
collection
Classify Animal
Pulse Pair5
6
Pulse Pair 1
Pulse Pair 2
Sort Edges
Sort Edges
Primitive
tasks
Pulse 1
Pulse 2
8
Detect Beam Event
7
Pulse 3
Detect Beam Event
Detect Beam Event
T2: Identify Animal
Classify Animal
Average Pulse Pairs
R. Razavi et al.
Estimate Motion
Behavior
specification
Sort Edges
.OOPSLA Workshop DSML‘06
Detect Beam Event
-5-
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
The Problem
• Method for stepwise development of
• Task-specific languages for behavior modeling
• Satisfying both
• End-users, and
• Programmers requirements
R. Razavi et al.
.OOPSLA Workshop DSML‘06
-6-
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Dart core concepts
Behavior
0..*
-method
-dependents
Construct
Process Conscious Product
1
*
1
Task
Part Holder
1
-holds
1..*
0..1
-contributes
1..1
1..1
0..*
-argument
0..*
0..1
0..*
-instantiates
0..1
Ontology Concept
0..1
1..1
-spec
-policy
Execution Strategy
Contract
1..1 0..*
Design decisions explained and
motivated in the paper.
R. Razavi et al.
.OOPSLA Workshop DSML‘06
-7-
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
1
Behavior
2
6
5
Histogram Entry Collection
Histogram
For a Period of <2 weeks> Do <T1>
Plot Histogram
Task
Main
3
16
Illustration of
behavior
representation
by Dart
15
Vehicle
Histogram Entry
Do <T2>
Create Histogram Entry
Step (Part Holder)
T1: Compute Histogram Entry
4
9
8
7
Pulse Pair 3
Mobile Object
Vehicle
Average Pulse Pairs
Estimate Motion
Classify Vehicle
10
Construct
11
Pulse Pair 1
Pulse Pair 2
Sort Edges
Sort Edges
contributes
12
13
14
Pulse 1
Pulse 2
Pulse 3
Detect Beam Event
Detect Beam Event
Detect Beam Event
Concept
T2: Identify Vehicle
Liz’s query
R. Razavi et al.
.OOPSLA Workshop DSML‘06
-8-
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Implementation
•
•
•
Research prototypes
•
Provides extension hooks
VisualWorks Smalltalk
•
•
Dyctalk
MiDyctalk
MetaclassTalk
•
MxDyctalk
•
Squeak and Seaside
•
Planned to be released as Open Source software
R. Razavi et al.
.OOPSLA Workshop DSML‘06
-9-
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Reuse example: Developing query engines for WSNs
Uses: Seaside framework
(http://www.seaside.st/)
and Squeak
(http://www.squeak.org/)
R. Razavi et al.
.OOPSLA Workshop DSML‘06
- 10 -
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Conclusion
Step
Behavior
Knowledge level
1
*
0..*
-method
-dependents
Construct
Process Conscious Product
1
Task
Part Holder
1
-holds
1..*
0..1
-contributes
1..1
1..1
0..*
-argument
0..*
0..1
0..*
-instantiates
0..1
Ontology Concept
0..1
1..1
-spec
-policy
Execution Strategy
Fetch
Load
Code
Adapt
Adaptation cycle
Contract
1..1 0..*
Intercession
Introspection
Operational level
Dynamically-composed
behavior
Dart supports stepwise development of Adaptive Object-Models
R. Razavi et al.
.OOPSLA Workshop DSML‘06
- 11 -
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Current work
•
Reusing Dart to support End-user Macro-programming WSNs
•
Dart serves:
•
•
•
•
•
•
•
•
Edition (GUI)
Representation
Verification
Optimization
Security
Transformation
Distributed, fine-grained, selective deployment
Concurrent execution
R. Razavi et al.
.OOPSLA Workshop DSML‘06
- 12 -
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Thank you for your attention!
Questions?
Observations?
Please visit the Poster Session
Reza Razavi
[email protected]
Autonomous Systems Group
University of Luxembourg
R. Razavi et al.
.OOPSLA Workshop DSML‘06
- 13 -
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Outline of the talk
• Context
• Requirements
• Problem
• Solution
• Conclusion and perspectives
R. Razavi et al.
.OOPSLA Workshop DSML‘06
- 14 -
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Structure of queries
• Finite directed acyclic graph
• Recursive
• Steps may hierarchically point to tasks
• Reflective
• Same set of concepts reused to extend the system
R. Razavi et al.
.OOPSLA Workshop DSML‘06
- 15 -
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Semantics of queries
• Parallel evaluation of contributions
• Limited to their dependencies
• Different execution semantics
• Late
• value binding
• method binding
• Comparable to spreadsheets
R. Razavi et al.
.OOPSLA Workshop DSML‘06
- 16 -
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Role of the knowledge level
• Comprises:
• Conceptual ontology
• Behavioral ontology
• Framework for specifying queries as a composition of services
through mediation of concepts
• Assumptions:
• Completeness of the service ontology
• Acknowledgeability of the users in the domain covered by the
•
ontologies
Low-level data, such as the sensor id, may be provided by users
(in the process of being relaxed)
• Keeps track of static and dynamic metadata.
R. Razavi et al.
.OOPSLA Workshop DSML‘06
- 17 -
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
Role of the operational level
• The operational level comprises a set of mobile
agents
• The agents:
• Are defined dynamically
• Execute concurrently
• within the WSN, and
• on a single node
• Based on a formal model of computation
• In order to be verifiable
Actors
R. Razavi et al.
.OOPSLA Workshop DSML‘06
- 18 -
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
EU requirements: example 1
Query: detect
an animal
Requires specifying correlation of time
series of basic sensing data into highlevel semantic data
Background Photo: http://pinker.wjh.harvard.edu
R. Razavi et al.
.OOPSLA Workshop DSML‘06
- 19 -
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
EU requirements: example 1
Query: detect
an animal
1
4
3
2
Pulse Pair 3
Mobile Object
Animal
Average Pulse Pairs
Estimate Motion
Classify Animal
9
6
5
Pulse Pair 1
Pulse Pair 2
Sort Edges
Sort Edges
Requires specifying
correlation
of time
8
7
series
of basic sensing
data intoPulse
highPulse 1
Pulse 2
3
level semantic data
Detect Beam Event
Detect Beam Event
Semantic Stream
[Zhao et al.]
Raw sensor data
Detect Beam Event
T2: Identify Animal
Background Photo: http://pinker.wjh.harvard.edu
R. Razavi et al.
.OOPSLA Workshop DSML‘06
- 20 -
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts
EU requirements: other examples
Query: photograph
speeding vehicles
Query: chart
traffic patterns
Requires specifying coordination
between tasks
Requires specifying a behavior
repeated over time
Background Photo: http://pinker.wjh.harvard.edu
R. Razavi et al.
.OOPSLA Workshop DSML‘06
- 21 -