Creation of an adaptation reasoning framework for dynamic, adaptive, and distributed systems is not a trivial task. Such a framework reasons on the variability that is represented by models implementing DiVA's MDE ap-proach and which causes, due to the potential big size of such systems, an explosion of complexity.

A dynamic system operates in real-time and is in the potentially constant need to respond fast to component or context changes through global reconfiguration. Complexity explosion would, if not appropriately handled, result in unacceptable calculation costs and too long reaction time spans while deciding which of a large number of possible configuration variants is valid or even optimal.

This survey researches and evaluates existing reasoning approaches and shows ways to reduce reasoning com-plexity in the context of DiVA. Results will be the base of the later Reasoning Framework implementation of WP4 that is coupled to the concepts and implementations of the technical DiVA work packages 1, 2, and 3.