基于Web服务的PAR方法辅助教学系统的研发

发布时间：2017-06-30 21:17

  本文关键词：基于Web服务的PAR方法辅助教学系统的研发，由笔耕文化传播整理发布。

【摘要】：PAR方法是一种简单实用的算法设计方法和能证明程序正确性的软件形式化方法,越来越多的软件使用PAR方法来开发关键的可靠性部件。PAR方法的教育普及也变得越发重要。但是传统的课堂教学存在一定的条件限制。已有的传统教学中普遍存在理论与实践脱离,教学效果不理想且教学范围小等问题。Web Service技术是用于开发高度通用性和易用性与平台无关和语言独立的系统应用程序。Web Service技术是能够使得不同机器上的不同应用程序无须借助其他第三方的软硬件,就可进行交互数据和应用集成。使用Web Service开发出的应用程序能够给客户端和浏览器使用甚至其他开发者也可使用。在传统的教学软件中一般采用三层软件结构即为显示层、业务逻辑层和数据层。传统教学软件在这种软件体系结构下不能根据用户需求的不同而提供不同的业务逻辑。基于这种情况本教学软件采用了四层软件架构即为用户访问层、逻辑处理层、服务层和其他组件层。服务层为用户提供单个服务,逻辑处理层可以根据用户的需求组合服务层为用户提供不同的业务逻辑。传统的教学软件在服务端一般采用单一服务器模式,所以用户请求和处理都在同一服务器上容易造成服务响应不及时甚至无法提供服务等。本教学软件采用Web Service技术来开发,并且采用将不同功能模块进行划分且部署在不同服务器上。使得用户请求访问时可以根据请求服务的不同而采用不同的服务器为用户提供服务。Apache CXF是一个开源的Web Services框架,而Spring是一个轻量级的Java开发框架。使用CXF结合Spring框架开发Web Service可易服务器中部署Web服务。所以本文采用CXF和Spring框架来开发Web服务,选取了PAR方法下的Apla语言作为教学语言,并且结合了Apla到C++转换系统作为编程实践平台,完成了整个辅助教学系统。本研究主要做了如下创新：1) 采用四层软件体系结构和面向服务软件架构相结合,解决传统教学软件无法根据用户需求组合不同服务器上的业务逻辑问题,实现了从不同服务器上获取不同服务且将服务进行组合,提供给用户。2) 传统的教学软件一般是多客户端到单一服务器的交互模式。而通过Web Service技术、CXF框架和Spring容器等技术实现了从多客户端到多个服务器的交互。从而增强系统的处理能力。
【关键词】：PAR方法 Web Service CXF Spring Apla
【学位授予单位】：江西师范大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP311.52;TP393.09
【目录】：

• 摘要3-4
• Abstract4-8
• 第一章 引言8-11
• 第二章 PAR方法概述11-13
• 2.1 Radl语言11-12
• 2.2 Apla语言12
• 2.3 PAR方法主要特点12-13
• 第三章 Web Service技术13-22
• 3.1 Web Service概述13-14
• 3.2 Web Service相关开发工具14-16
• 3.2.1 开发工具的选择14-15
• 3.2.2 Spring容器简介15-16
• 3.2.3 Apache Tomcat简介16
• 3.3 Web Service开发模型16-17
• 3.4 Web服务协议堆栈17-19
• 3.5 Web服务架构的优势19-20
• 3.6 面向服务的架构20-22
• 第四章 PAR方法辅助教学系统设计与实现22-60
• 4.1 系统设计原则22
• 4.2 系统开发目标22-23
• 4.3 系统功能分析23-24
• 4.4 体系结构24-27
• 4.5 各个子系统的实现27-49
• 4.5.1 ParClient子系统27-29
• 4.5.2 CXFParLogin子系统29-34
• 4.5.3 CXFParService子系统34-43
• 4.5.4 CXFCombination子系统43-49
• 4.5.5 多用户访问49
• 4.6 部署与运行调试49-59
• 4.6.1 部署49-51
• 4.6.2 运行调试51-54
• 4.6.3 抽象数据类型学习案例54-59
• 4.7 本章总结59-60
• 总结与展望60-62
• 参考文献62-64
• 致谢64-65
• 读期间公开发表论文(著)及科研情况65

【相似文献】

中国期刊全文数据库 前10条

1 钱建成;;语言建构主义与多媒体教学[J];华北水利水电学院学报(社科版);2007年04期

2 李灿;;我国多媒体教学的现状、成因及发展前景[J];当代教育论坛(下半月刊);2009年08期

3 邢莉莉;;我国多媒体教学发展研究[J];计算机光盘软件与应用;2014年02期

4 艾春;;浅谈B/S结构的教学系统在当代多媒体教学中的优势[J];今日科苑;2009年14期

5 姚文季 ,李靖谊;用于交互式计算机图形显示的教学软件系统[J];南京航空航天大学学报;1986年03期

6 殷江南;;高校多媒体网络教学的课堂组织[J];当代教育论坛;2006年15期

7 张璇;黄勤龙;彭朋;李成功;;虚拟银行教学软件系统的设计、实现与应用[J];计算机教育;2009年10期

8 赵铁成;;广播电视大学开放教育网络教学反思——以英语专业教学为例[J];绥化学院学报;2011年05期

9 李德文;何克抗;;教学软件设计的新思考[J];中国电化教育;2001年05期

10 符红霞;;Spring MVC技术分析及在实践教学系统中的应用[J];信息技术;2012年10期

中国重要报纸全文数据库 前3条

1 CMP(中国)咨询有限公司 闫成印邋河北衡水中学 闫淑贰;应用效果：现实与期望有点远[N];中国计算机报;2007年

2 本报记者 马磊;支持国货不必墨守成规[N];政府采购信息报;2009年

3 本报记者 姜乃强　万玉凤;坚定信心沿着正确教改方向迈进[N];中国教育报;2008年

中国硕士学位论文全文数据库 前2条

1 吴莫海;基于Web服务的PAR方法辅助教学系统的研发[D];江西师范大学;2015年

2 王海;音乐练耳教学软件的设计与实现[D];东北大学;2005年

  本文关键词：基于Web服务的PAR方法辅助教学系统的研发，，由笔耕文化传播整理发布。

本文编号：503538