korolev et al. smart space applications integration: a mediation formalism and design for smart-m3
DESCRIPTION
New approach to agent based management in service ans smart spaces environment is being developed at OSLL (http://osll.ru)TRANSCRIPT
Smart Space Applications Integration:A Mediation Formalism and Design for Smart-M3
Yury Korolev, St. Petersburg Electrotechnical University, Russia.Dmitry Korzun, Petrozavodsk State University, Russia.Ivan Galov Petrozavodsk State University, Russia.
The 5th conference on Internet of Things and Smart Spaces ruSMART 2012
2
Agenda
• Ways of agents communication in the smart spaces.• Agents coordination mechanisms (the exchange of management information).
• Applications integration mechanisms (the exchange of computational information).
3
IoT Architecture
4
Smart-M3 Platform
5
General Smart Space Platform
6
Agents Communications CategoriesCommunication can be
• Point to Point – An agent talks directly to another agent.
• Broadcast– An agent sends some information to a group of
agents.• Mediated
– The communication between two agents is mediated by a third party.
7
Whiteboard-based communications
• Making use of upper ontologies.• Agents interact indirectly through shared ontology.• Agents use the publish/subscribe mechanisms.
8
Communication via mediator
• Problem of integration of applications processing multiple heterogeneous data sources.
9
Integration of Smart Conference Systemwith blogging service
10
Analogy with Qt signals and slots
11
Analogy with Qt signals and slots 2
12
The concept of mediation
),,( ρInS =
Meta Information. (For example, rules from an ontology or agents coordinations rules)
• Mediator is a kind of the context interpretator.• The interpretation is based on rules.
13
What information should be passed?
Information can be:
• Managment– Events– Notifications
• Computational– Knowledge
Group control of the agents based on the interpretation of events.
Run time knowledge exchange.
14
Rules for management information
(E1 ,E2 ,C )
CEE ,12 ←
Association rules can be constructed
automatically based on data mining techniques (Association rule learning).
- Association rule.
have_state(lighting, turn_off) :- left(?x, house), is(number_of_people_in_the_house,0).
– The owner left the house.– Turn off the lighting.– The house has no more people.
1E
2E
C
- Triggering event.
- Resulting event.
- Context.
15
Problems
1. How to exchange heterogeneous computational information between the agents?
2. How to improve the performance of inference?
16
Smart Space Applications Integration Definition
1. Smart space applications matching: process of establishing logical correspondences between elements of the source and target ontologies of integrated applications. As a result of this process integration scenarios are formed.
2. Run time instance mapping: process of mapping the instances, processed by integrated applications.
17
Smart Space Applications matching
The expert must determine:
1. The events that initiate the process of integration;(<application_ID>,<notification_name>,<data_id>);
2. Input data for integration;SELECT *WHERE { ?person foaf:name ?name . ?person foaf:mbox ?email .}
3. Mapping rules to transform entities of the source smart space to entities of target smart space.'title'(postId, titleValue) :- 'Title'(presentationID, titleValue), generateUID(postId).
18
Run time instance mapping
Ss is a source smart space; N is a data loading notification; P is a set of graph queries to the source smart space;T is a set of transformation mapping rules for the source and target smart spaces;St is a target smart space.
19
Mediator specification
- source and target ontologies.
- notifications.
- source queries (one per notification).
- target queries (one per notification).
- source to target dependencies.
- a set of transformation rules (one per notification).
( )TDQPNOO ,,,,,, 21=µ
21 ,OO
{ }inN = { }ipP =
{ }idD = { }iqQ =
{ }itT =
20
Integration of hierarchical information
• Need to establish a logical correspondence between integrable entities. • Or need to keep the history of integration.
21
Integration of hierarchical information 2
• Need to establish a logical correspondence between integrable entities. • Or need to keep the history of integration.
22
Transformation mapping rules types for computational information
• Production rules;• UIDs (URIs) generation;• Manipulations with
• numbers;• strings;• date and time;
• Integration of hierarchical information.
23
Manipulations with strings
text = create_string('Speaker is %s (email: %s; phone: %s;).Presentation is available at: %s', is, email, phone, url);
24
Mediator Architecture
25
Mediator Activity Diagram
26
The mediator has a decentralized nature
27
Thank you for your attention