Marco Alberti, Andrea Omicini

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: pervasive ecosystems, SAPERE coordination model, model checking, data mining, behaviour prediction

1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012), pages 5-10, 10 September 2012.
José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli (eds.)
Pre-proceedings

@inproceedings{predict-asensis2012,
	Address = {SASO 2012, Lyon France},
	Author = {Alberti, Marco and Omicini, Andrea},
	Booktitle = {1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)},
	Editor = {Fernandez-Marquez, Jos\'e Luis and Montagna, Sara and Omicini, Andrea and Zambonelli, Franco},
	Keywords = {pervasive ecosystems, SAPERE coordination model, model checking, data mining, behaviour prediction},
	Month = {10~} # sep,
	Note = {Pre-proceedings},
	Pages = {5--10},
	Title = {Towards the Analysis \& Prediction of Complex System Behaviour in {SAPERE}},
	Year = 2012}