重点研究语言的多态性，在此基础上探讨语言组件的划分策略和语言组装的完备性与一致性，通过在语言的定义中引入图文法和抽象机模型，可望对领域语言设计的正确性，语言精化过程的正确性及领域语言的可视性等方面进行深入的研究，本项研究对于降低领域语言的开发代价提高领域语言的正确性，可靠性和可维护性具有重要意义。