Model Interpreter Frameworks: A Foundation for the Analysis of Domain-Specific Software Architectures