Research On Remote Education And Its Key Technologies

With the technology progress of multimedia and network, modern remote education is developing rapidly and applying widespread. So, an important task faced us and needed to solve urgently is to construct a new mode of continuing education and studying for life, which is untraditional and not limited to the region and time. The article research on how to realize the system of remote education and its key technology, including XML, distributed programming etc. To enhance the extensible and efficiency of the system, message middle-ware and extend-service subsystem are very important. In this paper, the two subsystem are main parts, calculus and CTL are used to solve problems such as model checking in article. At the same time, a method to express the information in remote education system is proposed.