Self-Organising Semantic Resource Discovery for Pervasive Systems


Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna

Self-Adaptive and Self-Organizing Systems Workshops (SASOW), pages 181-186
April 2013
IEEE CS
Jeremy Pitt (eds.)
2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14}#sep#{2012. Proceedings

Pervasive context-aware computing networks call for designing algorithms for information propagation and reconfiguration that promote self-adaptation, namely, which can guarantee - at least to a probabilistic extent - certain reliability and robustness properties in spite of unpredicted changes and conditions. The possibility of formally analysing their properties is obviously an essential engineering requirement, calling for general-purpose models and tools. As proposed in recent works, several such algorithms can be modelled by the notion of "computational field": a dynamically evolving spatial data structure mapping every node of the network to a data value. Based on this idea, as a contribution toward formally verifying properties of pervasive computing systems, in this article we propose a specification language to model computational fields, and a framework based on PRISM stochastic model checker explicitly targeted at supporting temporal property verification, exploited for quantitative analysis of systems running on networks composed of hundreds of nodes.

(keywords) bio-inspired, resource discovery, semantic matching
 @inproceedings{SYDVM-ASENSIS2012,
Author = {Stevenson, Graeme and Ye, Juan and Dobson, Simon and Viroli, Mirko and Montagna, Sara},
Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
Doi = {10.1109/SASOW.2012.39},
Editor = {Pitt, Jeremy},
Keywords = {bio-inspired, resource discovery, semantic matching},
Isbn = {978-1-4673-5153-9},
Month = apr,
Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
Pages = {181-186},
Publisher = {IEEE CS},
Title = {Self-Organising Semantic Resource Discovery for Pervasive Systems},
Year = 2013,
abstract={Pervasive context-aware computing networks call for designing algorithms for information propagation and reconfiguration that promote self-adaptation, namely, which can guarantee - at least to a probabilistic extent - certain reliability and robustness properties in spite of unpredicted changes and conditions. The possibility of formally analysing their properties is obviously an essential engineering requirement, calling for general-purpose models and tools. As proposed in recent works, several such algorithms can be modelled by the notion of "computational field": a dynamically evolving spatial data structure mapping every node of the network to a data value. Based on this idea, as a contribution toward formally verifying properties of pervasive computing systems, in this article we propose a specification language to model computational fields, and a framework based on PRISM stochastic model checker explicitly targeted at supporting temporal property verification, exploited for quantitative analysis of systems running on networks composed of hundreds of nodes.}
}
 

Tags:

Publication

— authors

Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna

— editors

Jeremy Pitt

— status

published

— sort

paper in proceedings

Venue

— volume

Self-Adaptive and Self-Organizing Systems Workshops (SASOW)

— pages

181-186

— publication date

April 2013

Identifiers

— DOI

10.1109/SASOW.2012.39

— print ISBN

978-1-4673-5153-9

BibTeX

— BibTeX ID
SYDVM-ASENSIS2012
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY