[1]朱小征,薛锦云,夏 鲸,等.在建模语言Apla中实现多媒体数据库应用的方法研究[J].江西师范大学学报(自然科学版),2017,(01):46-51.
　ZHU Xiaozheng,XUE Jinyun,XIA Jing,et al.The Research on Implementation Method of Multimedia Database Applications in the Modeling Language Apla[J].Journal of Jiangxi Normal University:Natural Science Edition,2017,(01):46-51.
点击复制

在建模语言Apla中实现多媒体数据库应用的方法研究()
分享到：

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

卷:
期数:
2017年01期
页码:
46-51
栏目:
出版日期:
2017-01-01

文章信息/Info

Title:
The Research on Implementation Method of Multimedia Database Applications in the Modeling Language Apla
作者:
朱小征; 薛锦云; 夏 鲸; 熊小舟
1.江西师范大学计算机信息与工程学院,江西 南昌 330022; 2.江西师范大学国家网络化支撑软件国际科技合作基地,江西 南昌 330022
Author(s):
ZHU Xiaozheng; XUE Jinyun; XIA Jing; XIONG Xiaozhou
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
关键词:
PAR;  模型驱动;  多媒体数据处理
Keywords:
PAR;  model-driven;  multimedia data process
分类号:
TP 311
文献标志码:
A
摘要:
随着信息技术在各大领域的广泛应用,产生的多媒体数据所占比例越来越大,对多媒体数据处理的需求也越来越多,高级程序设计语言支持多媒体数据处理的功能也变得尤为重要.采用模型驱动的思想,在支持模型驱动软件开发PAR平台的Apla→Java程序自动生成系统中,扩充对多媒体数据处理的功能,并提出多媒体数据处理机制和Apla中基于关系代数的文本处理机制自然融合,包含了对多媒体数据处理的Apla语言程序,可以通过Apla→Java程序自动生成系统自动转换成等价的Java程序,使得Apla语言具有对多媒体数据处理的能力.
Abstract:
With the extensive application of information technology in various fields,the proportion of multimedia data is increasing,and the demand for multimedia data processing is increasing.Advanced programming languages support the function of multimedia data processing has become particularly important.The purpose of the paper is to extend the function of multimedia data processing in Apla䦃Wingdings`C@Java program automatic generation system by using the model driven architecture(MDA),which is successfully in PAR platform with the international leading level.The multimedia data processing mechanism proposed and the text processing mechanism based on relational algebra in Apla can be integrated naturally,and the Apla program which contain the multimedia data processing can be automatically converted into the equivalent Java program by the Apla䦃Wingdings`C@Java program automatically converted system,it makes the Apla language has the ability to process multimedia data.

参考文献/References:

[1] 郭双宙,梁金兰.最新多媒体科学技术的应用与发展[J].电脑开发与应用,2003(10):29-31.
[2] Xue Jinyun.Two new strategies for developing loop invariants and their applications [J].Journal of Computer Science and Technology,1993(2):147-154.
[3] Xue Jinyun.A unified approach for developing efficient algorithmic programs [J].Journal of Computer Science and Technology,1997(4):314-329.
[4] Xue Jinyun.Formal development of path algorithmic programs [J].Journal of Yunnan University:Natural Sciences,1997(s2):283-288.
[5] Xue Jinyun,Davis R.A simple program whose derivation and proof is also [C].First IEEE International Conference on Formal Engineering Methods,1997.
[6] Xue Jinyun.Formal derivation of graph algorithmic programs using partition-and-recur [J].Journal of Computer Science and Technology,1998(6):553-561.
[7] Xue Jinyun.Apracticable approach for formal development of algorithmic programs [C].ISFST’99,1999.
[8] Zheng Yujun,Wang Jinquan,Wang Kan,et al.Partially introducing formal methods into object-oriented development:case studies using a metrics-driven approach [J].Formal Methods,2006,4085:190-204.
[9] Zheng Yujun,Wang Lianlai,Xue Jingujun.An a-team based architecture for constraint programming [J].Lecture Notes in Artificial Intelligence,2006,4088:552-557.
[10] Zheng Yujun,Xue,Jinyun.Object-oriented specification composition and refinement via category theoretic computations [J].Lecture Notes in Computer Sciences,2006,3959:601-610.
[11] Zheng Yujun,Ling Haifeng,Xue Jinyun.Ecogeography-based optimization:enhancing biogeography-based optimization with ecogeographic barriers and differentiations [J].Computers & Operations Research,2014,50:115-127.
[12] Zheng Yujun,Ling Haifeng,Xue Jinyun,et al.Population classification in fire evacuation:a multiobjective particle swarm optimization approach [J].IEEE Transactions on Evolutionary Computation,2014,18(1):70-81.
[13] 王昌晶,薛锦云,左正康.SRLtoRadl生成系统及其范畴论语义 [J].电子学报,2014,42(1):137-143.
[14] 谢武平,薛锦云.Radl算法到Apla程序的生成系统 [J].计算机研究与发展,2014,51(4):856-864.
[15] 谢武平.Radl 䦃Wingdings`C@ Apla程序生成系统及其可靠性研究 [D].南昌:江西师范大学,2009.
[16] 朱小征,薛锦云,徐华珍.Transaction在PAR平台中的实现方法及应用研究 [J].计算机与数字工程,2015(10):1884-1890.
[17] 岳巍.PAR平台中数据库系统多媒体数据处理的方法研究 [D].南昌:江西师范大学,2015
[18] 马传松,邓静,李振坤.在ORACLE数据中如何对多媒体数据对象进行处理 [J].广东自动化与信息工程,2003(3):40-42.

备注/Memo

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