Towards the Analysis & Prediction of Complex System Behaviour in SAPERE

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.