JM Franco, F Correia, R Barbosa… - Journal of Systems and …, 2016 - dl.acm.org
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 …