随着信息技术与计算机技术的快速发展,现代软件系统处理的数据量越来越大,数据也愈来愈复杂。有关数据显示,复杂数据处理相关的漏洞在软件漏洞中占据着很大的比例。如何提高复杂数据处理的效率和可靠性,已成为软件开发技术必须解决的急迫问题。薛锦云教授在16项国家级课题连续资助下研究成功的支撑软件开发的PAR方法和PAR平台,也开始重视这个问题。针对这一需求,本文首先对如何在Apla->Java程序自动生成系统中实现复杂数据类型进行了系统的研究,将原来系统中通过实体类实现抽象数据类型(ADT)的方法,改进为使用抽象类实现ADT。同时还在Apla语言中添加了Web服务这一复杂云数据处理方法,并实现了Web服务作为action参数的泛型机制。然后,完善了原来系统中的泛型安全约束机制,增强了Apla泛型程序的安全性。最后,通过Apla语言中ADT和泛型机制方便地处理了各类复杂数据。本文的创新点如下:1)为提高Apla语言在服务组合领域的应用率,在Apla语言中实现了对Web服务的支持。本文在程序生成系统中设计并实现了Web服务构件,并实现了Web服务作为action参数的泛型机制。Web服务作为泛型程序的action参数,在国内外都属首创。2)在Java语言中,有两种实现ADT的方法,一种是通过实体类,另一种是抽象类。在原Apla->Java程序自动生成系统中,是通过实体类来实现ADT的,但是转换后的Java代码与Apla代码格式相差很大,修改维护起来难度很大。本文实现了一种新的ADT实现方法,通过抽象类实现ADT。使得转换后的Java代码与源Apla代码结构相同,便于用户阅读和理解。3)全面地实现了Apla语言中的新型泛型机制,通过枚举与泛型参数定义匹配相结合的方法,完善Apla语言中泛型安全性约束机制。添加泛型约束变量,解决了原来Apla语言中,因泛型约束对象不明确,导致在单个Apla程序中只能存在一个泛型对象的问题。