论文部分内容阅读
在计算机技术、网络技术高速发展的今天,随着电脑硬件的发展,多媒体应用已经进入千家万户,所以流媒体服务器的架构也成为当今IT研究者研究的热点。其中流媒体服务器的媒体订阅部分包含有大量的状态,如果按以前的IF-Else结构加Case结构编程的话,使得程序臃肿而庞大,整个工程难以维护。利用有限状态机来建模媒体订阅部分的状态,并用形式化验证工具UP-PAAL验证模型的正确性,最后使用状态模式编码实现了媒体订阅的状态转换。这样不仅在设计层保证了系统的正确性,而且在实现层保证了易扩展性和可维护性。