论文部分内容阅读
介绍了一种新的形式化描述思想，即“相关分离”的思想，并分析了基于此思想的双语言方式，与传统的单一语言的描述技术相比，“相关分离”的思想和双语言方法更适合于分布式多媒体的描述，结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析，本文提出了一种以ＬＯＴＯＳ／ＱＴＬ或Ｅｓｔｅｒｅｌ／ＱＬ为基础，融合面向诉形式化描述方案，该方案可用于建立分布式多媒体系统的时间模型和同步模型。