设计具有清晰语法定义、简单合适的程序设计语言模型，对于解释程序设计语言是非常必要的。特别是近年来，程序设计语言的飞速发展使得语言的功能和结构都有了本质的改变，所以建立合适的语言模型对于更好地理解程序设计语言发展的各个阶段有很大的帮助。 良好的语言模型应该除去无关紧要的细节，而集中于其本质概念，以使得它足够简单；另一方面，它又要有足够的表现力来展示程序设计的大部分编程能力，达到两者满意的平衡是很不容易的。大部分研究程序设计语义专论中的语言模型功能都非常简单，这对阐明实际的程序设计语言是远远不够的，因为这些语言模型很少能完整地编写普通的实际程序。同时，如果使用目前应用的实际程序语言来表现高级程序设计语言的本质概念也是不合适的，因为它们的规则过于复杂。 本文提出了一组程序设计语言族模型的设计与基本实现，主要描述了命令式和面向对象程序设计语言的本质，用来研究程序设计语言间的关系，并且将程序语言模型的语法定义和语义描述结合在一起。这组语言模型结构非常简单，能够方便、严格地讨论其语法和语义，同时它的功能又足以用来编写程序实例。特别是设计了精简的面向对象程序设计语言模型，它包括面向对象的基本特征以及这种程序设计的全新理念。 本文在设计语言族模型的基础上，还为其设计了解释程序，通过Java语言的解释执行，使得这些语言模型不仅停留在理论意义上的研究，而且能够得以正确的实现，解释程序与编译原理的知识有许多混合之处，将相关的概念和理论结合到实际的程序设计中，目前在讨论计算机编译方面和面向对象技术方面，对面向对象程序设计语言的直接解释执行的研究还比较欠缺，我们所编写的解释程序不只是停留在理论方面的研究，而且实现了面向对象的基本机制和可执行的语义说明的实际应用。