[1]熊小舟,薛锦云*.基于Web Service和多媒体数据库技术的PAR方法在线自学系统的设计与实现[J].江西师范大学学报(自然科学版),2018,(03):291-297.[doi:10.16357/j.cnki.issn1000-5862.2018.03.12]
　XIONG Xiaozhou,XUE Jinyun*.The Design and Implementation of PAR Method Online Self-Study System Based on Web Service and Multimedia Database Technology[J].Journal of Jiangxi Normal University:Natural Science Edition,2018,(03):291-297.[doi:10.16357/j.cnki.issn1000-5862.2018.03.12]
点击复制

基于Web Service和多媒体数据库技术的PAR方法在线自学系统的设计与实现()
分享到：

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

卷:
期数:
2018年03期
页码:
291-297
栏目:
信息科学与技术
出版日期:
2018-06-20

文章信息/Info

Title:
The Design and Implementation of PAR Method Online Self-Study System Based on Web Service and Multimedia Database Technology
文章编号:
1000-5862(2018)03-0291-07
作者:
熊小舟1; 薛锦云2*
1.江西师范大学计算机信息工程学院,江西 南昌 330022; 2.江西师范大学国家网络化支撑软件国际科技合作基地,江西 南昌 330022
Author(s):
XIONG Xiaozhou1;  XUE Jinyun2*
1.School 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
关键词:
PAR方法;  PAR平台;  Web服务;  多媒体数据库技术
Keywords:
PAR method;  PAR platform;  Web Service;  multimedia database technology
分类号:
TP 311
DOI:
10.16357/j.cnki.issn1000-5862.2018.03.12
文献标志码:
A
摘要:
设计并实现了一个PAR方法的在线自学系统.利用Web服务(Web Service)和多媒体数据库技术,将使用PAR方法开发算法程序设计的基本概念、算法设计语言Radl、抽象程序设计语言Apla以及设计和推导算法程序的方法学形象生动地呈现给学习者.最后介绍了利用算法程序设计支撑平台生成可执行算法程序的过程,以及该算法程序运行产生的结果.
Abstract:
The purpose of the paper is to design and implement a system to introduce the online self-learning system of PAR method.The system use Web Service and multimedia database technology to develop the basic concept of algorithmic programming using PAR method,algorithmic design language Radl、the abstract programming language Apla and the methodological image of the design and derivation algorithm program are vividly presented to the learner.Finally,this paper introduces the process of generating the executable algorithm program by using the algorithmic programming platform and the result of the operation of the algorithm.

参考文献/References:

[1] Xue Jinyun.Formal derivation of graph algorithmic programs using partition-and-recur [J].Journal of Computer Science and Technology,1998(6):553-561.
[2] Xue Jinyun.A unified approach for developing efficient algorithmic programs [J].Journal of Computer Science and Technology,1997(4):314-329.
[3] Xue Jinyun.Two new strategies for developing loop invariants and their applications [J].Journal of Computer Science and Technology,1993(2):147-154.
[4] Xue Jinyun.PAR method and its supporting platform [EB/OL].
[2017-05-11].ftp.iist.unu.edu/pub/techreports/report348.rar.
[5] Joe Tekli,Ernesto Damiani,Richard Chbeir.Using XML-based multicasting to improve web service scalability [J].International Journal of Web Services Research,2012,9(1):1-29.
[6] 张莉.多媒体数据库技术的分析与研究 [J].现代计算机:专业版,2012(1):56-58,61.
[7] 谢武平,薛锦云.Radl算法到Apla程序的生成系统 [J].计算机研究与发展,2014(4):856-864.
[8] Xue Jinyun.Developing the generic path algorithmic program and its instantiations using PAR method [C]∥Proceedings of The second Asia Workshop On Programming Languages and Systems,Korea,2001.
[9] 朱小征,薛锦云,徐华珍.Transaction在PAR平台中的实现方法及应用研究 [J].计算机与数字工程,2015(10):1884-1890.
[10] 薛锦云.在线便捷编程教学和服务平台 [Z].第六届中国服务贸易年会,2016-12-17.
[11] W3C.Web Services Glossary [EB/OL].
[2017-05-12].https://www.w3.org/TR/2004/NOTE-ws-gloss-20040211.
[12] 岳根霞.多媒体数据库的数据模型研究 [J].电脑编程技巧与维护,2012(14):50-51.
[13] Oracle Inc.Oracle9i interMedia user's guide and reference release 9.0.1 [EB/OL].
[2017-09-13].http://www.oracle.com/technetwork/documentation/oracle9i-arch-901-096298.html.
[14] 石海鹤,薛锦云.基于PAR的算法形式化开发 [J].计算机学报,2009,32(5):982-991.
[15] 沈伯青,杨宗凯.Web服务的基石:UDDI技术 [J].计算机工程与应用,2003,39(3):147-150,183.
[16] 彭邦伦.利用JAX-WS开发Web Service [J].电脑编程技巧与维护,2008(12):21-23,30.
[17] Zheng Yujun,Xue Jinyun.A problem reduction based approach to discrete optimization algorithm design [J].Computing,2010,88(1):31-54.
[18] Zheng Yujun,Shi Haihe,Xue Jinyun.A knowledge-driven approach to web-based learning for formal algorithm development [C]∥New Horizons in Web-Based Learning-ICWL 2010 Workshops.Springer Berlin/Heidelberg,2011:237-245.

相似文献/References:

[1]汪 雄,薛锦云*,刘震伟.新型Action泛型机制在PAR平台中的实现和应用研究[J].江西师范大学学报(自然科学版),2020,(06):633.[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,(03):633.[doi:10.16357/j.cnki.issn1000-5862.2020.06.15]
[2]刘震伟,薛锦云*,夏 鲸,等.PAR平台中并发分布式事务处理机制及其应用研究[J].江西师范大学学报(自然科学版),2019,(06):649.[doi:10.16357/j.cnki.issn1000-5862.2019.06.15]
　LIU Zhenwei,XUE Jinyun*,XIA Jing,et al.The Research on Concurrent Distributed Transaction Processing Mechanism in PAR Platform and Its Application[J].Journal of Jiangxi Normal University:Natural Science Edition,2019,(03):649.[doi:10.16357/j.cnki.issn1000-5862.2019.06.15]

备注/Memo

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