摘要：针对传统的脚本建模存在语言机制复杂繁琐、开发效率不高、可靠性难保证、建模阶段和交互阶段相互独立等问题,基于分划与递推(PAR)及其apla抽象程序设计语言,设计与原apla语言融合的虚拟现实建模语言机制。开发的apla→MAXScript自动生成系统可以将抽象apla程序转换成MAXScript脚本,并借助3DSMax来实现三维建模。apla建模机制采用直接重用MAXScript修改器API方式,既大幅度简化了重构的工作量,又延续了apla语言抽象程度高特征,便于对apla建模程序进行形式化推导和正确性验证。最后通过案例证明了apla建模语言及其工具能够提高三维建模的精细度、可靠性及开发效率。

摘要：泛型程序设计可大幅提高程序的可重用性、可靠性和开发效率.泛型约束机制是对泛型参数进行形式描述,并对其合法性进行检测及验证,从而保证泛型程序的可靠性和安全性.分析总结多种主流语言的泛型约束特性,存在难以描述及验证基于动态语义的复杂约束需求问题,与完整实现GP尚有距离;以抽象程序设计语言apla为宿主语言,提出了基于代数结构及公理语义的泛型约束方法,给出了基本数据类型、自定义抽象数据类型和子程序的3类泛型约束机制,拓展了泛型程序设计约束的应用范围.同时,支持静态语法和动态语义层约束,提高了泛型约束的精确度;借助Isabelle定理证明器,设计了泛型约束匹配检测和验证算法;进一步设计了泛型约束机制在PAR平台的实现方案及其系统原型.实验部分给出了该泛型约束机制描述、检测及验证一系列复杂泛型约束问题的全过程,自动生成的C++模板程序的可靠性和安全性得到显著提高.

摘要：分析了抽象程序设计语言 apla( Abstract Programming Language)定义的集合操作的实现算法思想 ,用 PAR方法 (分划递推法 ,Partition- and- Recur)推导了实现集合操作的 apla程序 ,并分别将这些抽象程序用三种数据结构 (向量 ( Vector)、数组 ( Array)、链表 ( nodep,自定义 ) )来实现 ,构成了自定义 Java集合类库。该类库可用于 apla- Java程序自动转换系统和体现数据抽象思想的 Java程序开发。

摘要：为了提高软件的工作效率以及运行的稳定性,克服计算机运行过程中软件运用的问题,尤其是针对apla-JAVA的转换问题计算机界已经进行了长期的争论和研究,但是仍没有达到理想的效果。通过设计一个转换系统,将正确的apla程序进行转换,获得JAVA的语言程序并利用程序构件转换器来转换带迭代算子的apla-JAVA程序。