图形化用户界面是人与计算机软件进行信息交换的媒介,GUI设计的好坏在很大程度上决定软件产品的成败。软件GUI的设计总是要受到诸如需求的变更、运行环境的异构性等各方面变化的影响,然而当前的GUI设计方法对于应对这些变化存在很多不足,如:功能扩展时,UI需重新设计;异构平台上的显示差异等。模型驱动的软件开发方法PAR方法及其支撑平台PAR平台,在软件设计中兼具抽象性、高可靠、跨平台等特征,可以实现由抽象描述语言Apla到多种可执行语言自动化生成,因此在减轻开发者开发负担,提高程序开发的可靠性及效率方面优势明显。但遗憾的是当前PAR方法只支持命令行用户界面,没有图形化界面设计机制,这在一定程度上制约了PAR方法的推广及应用。本文方向选题自国家自然科学基金面上项目子课题,最终研究目标就是设计一种能够体现抽象性、易扩展、跨平台等特征的图形化界面开发方法。本文的主要工作就是,根据模型驱动的思想,设计出一套高度概括GUI基本设计功能的Apla图形化用户界面设计方法,并且能够自然的融合到原有的Apla语言机制中,进而转换得到具体的Java代码。在系统实现部分首先将一些通用的图形界面元素以及特殊图形化用户窗口(如:输入、输出、信息提示类窗口等),都作为预定义抽象数据类型在构件库中定义;其次将界面设计中的一些共性,通过参数传递的方式创建不同实例。本文的主要创新之处及其设计难点:本文将Apla GUI的基本界面元素以及常用的GUI设计功能等,都作为预定义抽象数据类型。在可复用构件库的支持下,允许用户直接在Apla编程时使用,使开发者将更多的精力放在算法设计方面,提高软件的可扩展性和开发效率。在界面设计过程中,当对界面元素实例化时,系统根据传入不同的参数、不同参数个数等,创建具体实例,以便简化界面设计步骤。Apla是一种表达能力强且具有高度抽象等特点的形式化语言,在进行GUI设计时也应体现这一系列特点,如何以Java可复用构件库的形式实现这些机制(比如Apla事件模型的实现等)是本文的研究的难点。