APICe » Publications » Towards the Analysis & Prediction of Complex System Behaviour in SAPERE

Towards the Analysis & Prediction of Complex System Behaviour in SAPERE

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: SAPERE coordination model, behaviour prediction, data mining, model checking, pervasive ecosystems
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), pages 193-198, 2012.
Jeremy Pitt (eds.), IEEE Computer Society
2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14 September 2012. Proceedings
@inproceedings{predict-sasow2012,
	Author = {Alberti, Marco and Omicini, Andrea},
	Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
	Doi = {10.1109/SASOW.2012.41},
	Editor = {Pitt, Jeremy},
	Keywords = {SAPERE coordination model, behaviour prediction, data mining, model checking, pervasive ecosystems},
	Isbn = {978-1-4673-5153-9},
	Isbn-Online = {978-07695-4895-1},
	Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
	Pages = {193--198},
	Publisher = {IEEE CS},
	ScopusId = {2-s2.0-84877298433},
	Title = {Towards the Analysis \& Prediction of Complex System Behaviour in {SAPERE}},
	Url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6498402},
	Url-Pdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6498402},
	WosId = {000321250200031},
	Year = 2012}