新型Action泛型机制在PAR平台中的实现和应用研究  

The Implementation and Application of New Action Generic Mechanism in PAR Platform

作　　者：汪雄 薛锦云[2] 刘震伟[1,2] WANG Xiong;XUE Jinyun;LIU Zhenwei(College of Computer Information Engineering,Jiangxi Normal University,Nanchang Jiangxi 330022,China;The State Base of Networked Supporting Software of International S/T Cooperation,Jiangxi Normal University,Nanchang Jiangxi 330022,China)

机构地区：[1]江西师范大学计算机信息工程学院,江西南昌330022 [2]江西师范大学国家网络化支撑软件国际科技合作基地,江西南昌330022

出　　处：《江西师范大学学报（自然科学版）》2020年第6期633-638,共6页Journal of Jiangxi Normal University(Natural Science Edition)

基　　金：国家自然科学基金重大国际合作项目(61020106009);国家自然科学基金面上项目(61272075,61472167);国家自然科学基金地区科学基金(61462041);江西省自然科学基金(20171BAB202008);江西省教育厅科学技术研究(160329)资助项目.

摘　　要：在软件开发过程中,开发语言中的泛型机制能够显著提高软件开发的效率和软件可靠性,但现有高级语言中一般只有类型和子程序(如过程、函数和方法等)作参数,限制了泛型机制的应用.该文对新型泛型机制进行深入探索,着重研究以action作为参数的泛型机制.在Apla→Java程序自动生成系统中实现了将Web服务作为Apla语言中的action参数的泛型机制,完善了Apla语言中的泛型安全的约束机制,成功地将新型泛型机制应用于PAR平台中.In the process of software development,the generics mechanism in the development language can significantly improve the efficiency and reliability of software development.However,the high-level languages generally only take types and subroutines(such as procedures,functions and methods)as parameters,which limits the application of the generic mechanism.The deep understanding of the new generic mechanism proposed by Professor Xue Jinyun is made,and the generalization mechanism of taking action as generic parameters and its realization method are focused on in this paper.The generic mechanism of taking Web service as action parameters is realized in the Apla→Java program automatic generation system,and the generic security constraint mechanism in the Apla language is improved,and the new generic mechanism is successfully applied to the PAR platform.

关 键 词：APLA语言 泛型 PAR方法 PAR平台 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]