由薛锦云教授在多项国家级课题的资助下,创造性地提出了一种简单实用的算法设计和能证明的形式化方法—PAR方法,该方法含算法设计语Radl,抽象程序设计语言Apla语言和相关程序自动转换系统,由于Par方法的广泛用途,随着因特网日益普及,进行PAR方法的普及已经是目前的迫切需要。 但是,因为传统的远程教育平台只是将主题:桌面视频会议系统改造而来,利用其进行PAR方法远程教育存在着以下几大问题,一是教师不能得到及时,有效的教学质量反馈,不能充分发挥网络远程教学的广泛性和普遍性。二是不能应用网络远程教学的优势来针对学生的自身特点进行个性化教育,仍旧重复旧的电化式教育。三是由于PAR方法平台的保密性和有限的网络带宽,不能在远程教育平台让学生对知识进行实践。 本研究主要做了如下创新: 1.利用Web Service定义了应用程序如何在WEB上实现远程教育平台的标准程序接口,如安全论证,课程选择,问题回答等远程教育相关接口. 2.利用Web Service定义了PAR方法的标准程序接口,如Par方法的语法识别,语句转换,程序执行等. 3.将DirectX Show和Web Service结合在一起,创建了一个远程教育平台框架,使该平台不仅适用于Par方法教学,也可利于以后扩展发展其它学科远程教育. 本文分四个部分。 第一部分对PAR方法进行简要的介绍,包括PAR方法过程,表示符号,公理系统等 第二部分介绍Web Service协议。它包括以下几个部分 XML:若要让异构平台上不同系统相互通信和共享数据,那么WEB上传输的数据必须以一定的标准XML格式出现。 SOAP:是一种通用的,基于XML标准的,文本的对象间访问协议,它把对象间的访问请求和响应都打包成XML文档,在对象间传递。 WSDL:即WEB服务描述语言,可以让其他系统知道WEB SERVICE提供了那些服务。 第三部分实现部分。给出了包括视频会议的各个模块的关键技术和值得关注的要点难点,以及相关需要改进之处。 文章的最后给出了本文应用程序实现的主要技术指标,以及需要进一步完善的地方。