基于XYZ/RE的多媒体同步器自动构造方法

• 作者: 唐稚松 赵琛 马华东
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 时序关系 XYZ系统 XYZ/RE 同步器
• 年，卷（期）: 2000,（8）
• 页码范围: 996-1002
• 页数: 7页
• 分类号: TP316
• 字数: 6321字
• 语种: 中文

摘要

XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统.它由时序逻辑语言(temporal logic language,简称TLL)XYZ/E和以该语言为基础的一组软件工程工具组成.为了研究XYZ系统在多媒体领域中的应用问题,介绍了一种依据多媒体对象时序描述自动生成用XYZ/RE表示的播放同步器的方法,XYZ/RE是时序逻辑语言族XYZ/E中表示实时系统的子语言.与相关工作比较,该方法不仅可以处理简单的时序关系,而且可以处理嵌套的时序关系,所产生的同步器可以复用于不同的节目.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵琛	中国科学院软件研究所计算机科学开放研究实验室	18	65	5.0	7.0
2	马华东	北京邮电大学计算机学院	40	806	15.0	28.0
3	唐稚松	中国科学院软件研究所计算机科学开放研究实验室	8	175	4.0	8.0