Jeremy Pitt (eds.)
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), pages 193-198
IEEE Computer Society
2012
Complex computational systems are often intrinsically unpredictable even for the engineers designing them: understanding their possible evolution over time is typically required, for instance in order to match some application requirements. In this paper, we first survey some of the most promising and effective techniques for the analysis and prediction of complex computational systems, then we focus on SAPERE-coordinated pervasive ecosystems. We identify the most essential elements of the SAPERE coordination model, select two techniques - model checking and data mining -, and derive two possible approaches to the analysis and prediction of the behaviour of SAPERE systems.
keywords
SAPERE coordination model, behaviour prediction, data mining, model checking, pervasive ecosystems
origin event
