-
题名基于XYZ/RE的多媒体同步器自动构造方法
被引量：1
- 1
-
-
作者
赵琛
唐稚松
马华东
-
机构
中国科学院软件研究所计算机科学开放研究实验室
北京邮电大学计算机学院
-
出处
《软件学报》
EI
CSCD
北大核心
2000年第8期996-1002,共7页
-
基金
国家"九五"重点科技攻关项目基金! (No.98- 780 - 0 1- 0 7- 0 1)
国家 86 3高科技项目基金! (No.86 3- 30 6 -ZT0 2 - 0 4- 1)资助
-
文摘
XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统 .它由时序逻辑语言(temporal logic language,简称 TLL) XYZ/ E和以该语言为基础的一组软件工程工具组成 .为了研究 XYZ系统在多媒体领域中的应用问题 ,介绍了一种依据多媒体对象时序描述自动生成用 XYZ/ RE表示的播放同步器的方法 ,XYZ/ RE是时序逻辑语言族 XYZ/ E中表示实时系统的子语言 .与相关工作比较 ,该方法不仅可以处理简单的时序关系 ,而且可以处理嵌套的时序关系 ,所产生的同步器可以复用于不同的节目 .
-
关键词
多媒体同步器
自动构造
XYZ系统
RE
-
Keywords
Temporal relations, XYZ system, XYZ/RE, synchronizer.
-
分类号
TP37
[自动化与计算机技术—计算机系统结构]
-
