A reasoning framework is a way to package, as a fully-automated tool, the expertise needed to understand and predict the runtime qualities of software systems. A key objective of a reasoning framework is to make this expertise available to engineers who are not expert in the quality attribute. As such, the reasoning framework includes all that is necessary to generate and analyze quality-specific views of an architectural specification. The reasoning framework also exposes the assumptions underlying an analytic theory, and ensures that systems satisfy these assumptions so that the user has confidence that all predictions are not only sound, but valid.
Len Bass, James Ivers, Mark Klein, & Paulo Merson