Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool | Synapse