Notice that this implementation of the framework is a reconstruction of the implementation proposed in Peng et al. (2012) by following the MAPE-K architecture, integrating uncertainty handling and adopting quantitative goal reasoning.