论文部分内容阅读
该文着重研究了一个基于INTERNET的远程教育系统的实现以及其中涉及到的关键技术,包括XML、分布式处理等.在论文中着重描述了为保证系统具有良好的可扩展性和较高的效率而设计的两个子系统:扩展服务子系统和消息中间件,并同时运用π演算和CTL模型验证算法等对分布式处理中进程交互的实质和并发系统的模型检验等问题作了深入的研究.同时,对远程教育系统中的信息表述问题也进行了重点研究.