论文部分内容阅读
依据多媒体时间模型和同步模型，面向对象的并发系统和分布式系统的研究已经取得不少结果.但由于特殊的要求，这些结果已不能满足实际应用的需要，为此，我们就分布式多媒体系统中的同步这一关键问题进行了研究.本文首先论述了形式化规范语言LOTOS的基本概念与约定，对其进行了基于时间的改进和扩充，引入了离散时间域和时间操作算子，然后确定其相应的语法定义和语义规则，通过仔细分析分布式环境下的多媒体同步问题，基于时间扩充的LOTOS，给出了一种特殊的多媒体同步系统以及具体的算法描述.通过实例对分布环境下多媒体信息同步问题在