[1]汪 雄,薛锦云*,刘震伟.新型Action泛型机制在PAR平台中的实现和应用研究[J].江西师范大学学报(自然科学版),2020,(06):633-638.[doi:10.16357/j.cnki.issn1000-5862.2020.06.15]
　WANG Xiong,XUE Jinyun*,LIU Zhenwei.The Implementation and Application of New Action Generic Mechanism in PAR Platform[J].Journal of Jiangxi Normal University:Natural Science Edition,2020,(06):633-638.[doi:10.16357/j.cnki.issn1000-5862.2020.06.15]
点击复制

新型Action泛型机制在PAR平台中的实现和应用研究()
分享到：

《江西师范大学学报》（自然科学版）[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2020年06期
页码:
633-638
栏目:
信息科学与技术
出版日期:
2020-12-20

文章信息/Info

Title:
The Implementation and Application of New Action Generic Mechanism in PAR Platform
文章编号:
1000-5862(2020)06-0633-06
作者:
汪 雄1; 2; 薛锦云2*; 刘震伟1; 2
1.江西师范大学计算机信息工程学院,江西 南昌 330022; 2.江西师范大学国家网络化支撑软件国际科技合作基地,江西 南昌 330022
Author(s):
WANG Xiong1; 2; XUE Jinyun2*; LIU Zhenwei1; 2
1.College of Computer Information Engineering,Jiangxi Normal University,Nanchang Jiangxi 330022,China; 2.The State Base of Networked Supporting Software of International S/T Cooperation,Jiangxi Normal University,Nanchang Jiangxi 330022,China
关键词:
Apla语言;  泛型;  PAR方法;  PAR平台
Keywords:
Apla;  genericity;  PAR method;  PAR platform
分类号:
TP 311
DOI:
10.16357/j.cnki.issn1000-5862.2020.06.15
文献标志码:
A
摘要:
在软件开发过程中,开发语言中的泛型机制能够显著提高软件开发的效率和软件可靠性,但现有高级语言中一般只有类型和子程序(如过程、函数和方法等)作参数,限制了泛型机制的应用.该文对新型泛型机制进行深入探索,着重研究以action作为参数的泛型机制.在Apla→Java程序自动生成系统中实现了将Web服务作为Apla语言中的action参数的泛型机制,完善了Apla语言中的泛型安全的约束机制,成功地将新型泛型机制应用于PAR平台中.
Abstract:
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.

参考文献/References:

[1] Musser D R,Stepanov A A.Generic programming[M].Berlin:Symbolic and Algebraic Computation,1988:13-25.
[2] Garcia R,Jarvi J,Lumsdaine A,et al.A comparative study of language support for generic programming[J].OOPS-LA,2003,36(3):115-134.
[3] Kermarrec Y,Pautet L,Tardieu S.GARLIC:generic Ada reusable library for interpartition communication[EB/OL].[2019-02-13].https://dl.acm.org/doi/10.1145/376503.376591.
[4] 张玉春,程春英,李海峰.浅谈C#泛型和C++模板[J].内蒙古民族大学学报,2008,14(2):51-52.
[5] Ghosh D.Generics in Java and C++:a comparative mod-el[J].ACM Siglan Notices,2004,39(5):40-47.
[6] 韩志强.对.NET平台中泛型技术的探究[J].赤峰学院学报:自然科学版,2010,26(11):23-24.
[7] Milner R,Tofte M,Harper R,et al.The definition of Standard ML[M].Massachusetts:MIT Press,1997.
[8] Stroustrup B.The C++ programming language[M].New York:Pearson Education,2013.
[9] Gosling J,Joy B,Steele G,et al.The Java language specifi-cation[M].New York:Pearson Education,2014.
[10] Meyer B.Eiffel:the language[M].New York:Rentice Hall,1992.
[11] Hutton G.Programming in[M].Haskellambridge:Cambridge University Press,2007.
[12] Xue Jinyun.Genericity in PAR Platform[EB/OL].[2019-01-12].https://link.springer.com/chapter/10.1007/978-3-319-31220-0_1.
[13] 徐华珍,薛锦云,朱小征.Apla→Java程序生成系统中泛型机制实现方法研究[J].江西师范大学学报:自然科学版,2017,41(1):52-55,92.
[14] 常亮,刘进,古天龙,等.基于动态描述逻辑的语义Web服务组合[J].计算机学报,2013,36(12):2468-2478.
[15] 刘阳.云计算中服务组合与选择技术研究[D].北京:北京邮电大学,2013.
[16] 游珍,薛锦云,应时.Apla语言中并发分布式机制的研究[J].计算机科学,2012,39(1):104-108.
[17] Xue Jinyun.PAR method and its supporting platform[C]∥Proceeding of International Workshop on Formal Method for Devecoping Software.Macao:UNU-IIST,2006:348.
[18] 王昌晶,薛锦云.PAR平台从规约出发的算法推导与自动生成[J].计算机工程与应用,2007,43(2):41-42,59.
[19] 骆健.APLA-JAV.程序自动转换系统的研制[D].南昌:江西师范大学,2002.
[20] 赖勇.APLA到C++自动程序转换系统的研制[D].南昌:江西师范大学,2002.
[21] 左正康.Apla→C#自动程序转换系统的设计与实现[D].南昌:江西师范大学,2004.
[22] 朱小征,薛锦云,夏鲸,等.在建模语言Apla中实现多媒体数据库应用的方法研究[J].江西师范大学学报:自然科学版,2017,41(1):46-51.
[23] 朱小征.若干软件新技术在Apla→Java程序自动生成系统的实现研究[D].南昌:江西师范大学,2016.
[24] Blake M B.Decomposing composition: service-oriented software engineers[J].Software IEEE,2007,24(6):68-77.
[25] 左天军,朱智林,韩俊刚,等.Java动态类加载分析[J].计算机科学,2005,32(4):194-196.
[26] 尹松强,傅鹂.Java反射机制探究[J].软件导刊,2008,7(11):85-87.
[29] 左正康,薛锦云.Apla中泛型约束机制研究[J].软件学报,2015,26(6):1340-1355.
[28] 张少平.基于结构化自然语言的算法规约研究[D].南昌:江西师范大学,2003.
[29] 王昌晶,薛锦云,左正康.SRLtoRadl生成系统及其范畴论语义[J].电子学报,2014,42(1):137-143.

备注/Memo

备注/Memo:
收稿日期:2018-05-05
基金项目:国家自然科学基金重大国际合作项目(61020106009),国家自然科学基金面上项目(61272075,61472167),国家自然科学基金地区科学基金(61462041),江西省自然科学基金(20171BAB202008)和江西省教育厅科学技术研究(160329)资助项目.
通信作者:薛锦云(1947-),男,江苏海门人,教授,博士生导师,主要从事软件形式化和自动化的研究.E-mail:jinyun@vip.sina.com
更新日期/Last Update: 2020-12-20