论文部分内容阅读
随着大数据、云计算时代的到来以及软件开发行业的高速发展,如何便捷地开发软件和如何高效地进行算法程序设计一直是计算机业的研究热点。由早期的面授教学发展到如今的网络在线教学(慕课、Alice、GreenFoot等),算法程序设计的教学工作得到越来越多人的关注。但是,现有的程序设计方法教科书和在线编程教学系统均未能讲清楚程序设计的原理,即程序产生的过程,特别是一些精巧程序的由来。本文的研究依托于便捷算法程序开发方法(PAR方法)与算法程序和软件自动生成平台(PAR平台)。PAR方法是薛锦云提出的一种实用的形式化开发方法,PAR方法实现了由抽象程序设计语言程序Apla程序到可执行程序的自动转换,实现了软件开发的自动化。PAR方法给出了算法和程序的设计过程,能清晰地描述算法、程序的由来。同时PAR作为支持软件形式化开发和推导的方法和平台,为算法程序设计提供了一条高效、可靠、便捷的途径。本文的研究工作是两项国家自然基金课题和两项国家自然基金面上项目的子课题,主要工作是利用Web Service和多媒体数据库技术,将PAR方法开发算法程序设计的基本概念、算法设计语言Radl、抽象程序设计语言Apla以及设计和推导算法程序的方法学形象生动地呈现给学习者。本文主要创新点如下:1.使用Web Service技术将算法程序和软件自动生成平台部署成服务,并调用所部署的服务,使得在PAR方法自学系统中实现算法程序和软件自动生成平台报错、转换与运行功能,使得用户在自学过程中能够将系统中的Apla程序实例转换成可执行程序(Java、C++、C#和VB)同时还可以运行转换后的可执行程序并得到相应的结果。2.利用Oracle多媒体数据库具有的LOB数据类型与interMedia机制,使用多媒体数据库技术实现对PAR方法自学系统中的多媒体数据的管理与操作,提高了多媒体数据的可用性与应用价值,使得教学系统生动、直观、便于理解,有效提高了学生学习掌握程序设计课程的兴趣和积极性。3.本文首次将基于PAR方法的便捷算法程序设计方法及相关新型算法设计和描述方法以自学的方式呈现给学习者,使学习者能够更加便捷地学习PAR方法,同时为PAR方法的推广与应用打下基础。