摘要:We propose a general framework for the model-driven analysis of the meta-program development processes. Our approach considers: 1) a hierarchy of related meta-models and models that are represented at different levels of abstractions for problem and solution domains; and 2) vertical transformations of the introduced meta-models and models for lowering the abstraction level of their representation until the executable specification. The framework provides a theoretical background to understand the meta-program development process and creates well-grounded pre-conditions for the semi-automatic design of meta-programs. We also formulate the requirements for tools to support such automation.