您的位置： 专家智库 > >

吴晓明

作品数：1 被引量：0H指数：0
供职机构：杭州师范大学信息科学与工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇流媒体
  • 1篇媒体
  • 1篇UPPAAL

机构

  • 1篇杭州师范大学

作者

  • 1篇孙军梅
  • 1篇吴晓明

传媒

  • 1篇计算机应用与...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于状态模式实现流媒体媒体订阅的状态转换
2010年
在计算机技术、网络技术高速发展的今天,随着电脑硬件的发展,多媒体应用已经进入千家万户,所以流媒体服务器的架构也成为当今IT研究者研究的热点。其中流媒体服务器的媒体订阅部分包含有大量的状态,如果按以前的IF-Else结构加Case结构编程的话,使得程序臃肿而庞大,整个工程难以维护。利用有限状态机来建模媒体订阅部分的状态,并用形式化验证工具UP-PAAL验证模型的正确性,最后使用状态模式编码实现了媒体订阅的状态转换。这样不仅在设计层保证了系统的正确性,而且在实现层保证了易扩展性和可维护性。
吴晓明孙军梅
关键词：流媒体UPPAAL
全选 清除 导出
共1页<1>
聚类工具0