We propose a formal automated approach to translate from an ADL to a DTMC.
We address issues of today self-adaptive systems.
We assessed dynamically the impact of each strategy in the system quality.
Our approach presents better results than traditional planning algorithms.
Our approach presents good scalability and performance results.