论文部分内容阅读
自动程序设计是人工智能领域研究的一个重要分支。它通过对一个问题求解的规格说明自动或半自动地生成可执行程序,它涉及到人工智能领域的各个方面,包括自然语言理解、机器翻译等各个方面。自动程序设计是一个综合性很强的课题。其中,半自动设计系统通过人机结合方式,充分发挥人机各自的特点,提高程序设计的自动化程度。对程序自动程序设计具有十分重要的现实意义。 过程蓝图建模理论是一种全新的程序设计理念,它通过对过程方法的建模弥补了现有工具中对过程建模的不足。在过程蓝图逻辑层是使用受限汉语表达的程序设计的语义,而实现层内容则主要是基于具体语言的代码表达。本文的主要任务是利用自动程序设计理论和基于受限汉语的机器翻译理论将逻辑层的受限汉语表达转换为包含代码语言的实现层构造块。 本文对过程蓝图领域涉及到的词汇、语法和语义等进行了详细的研究。在过程蓝图领域范围之内的受限汉语表达,对它的受限规范包括受限汉语词汇、语法、语义文法等方面进行了相关设计。结合过程蓝图领域受限汉语表达的特点和格语法理论,设计提出了以格理论为基础和以XML为表现形式的生成转换方法。初步研究了转换生成的基本框架,分别对基于蓝图表述的汉语的受限形式,基于格语义的分析,基于!V和(!V+!N)映射模型,基于XML的中间生成模型,以及最后实现层构造块代码的生成分别进行了论述,并且开发了实验工具,初步验证了技术的可行性。