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

A Methodology for Automatically Constructing a Multimedia Synchronizer in XYZ/RE

作　　者：赵琛[1] 唐稚松[1] 马华东[2] 

机构地区：[1]中国科学院软件研究所计算机科学开放研究实验室,北京100080 [2]北京邮电大学计算机学院,北京100088

出　　处：《软件学报》2000年第8期996-1002,共7页Journal of Software

基　　金：国家"九五"重点科技攻关项目基金! (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 system is a programming support system with the goal to enhance reliability and productivity of software development. It consists of a TLL (temporal logic language) XYZ/E to serve as its kernel and a suite of software engineering tools. In order to study the application of XYZ system to the multimedia field, in this paper, the authors present a method for automatically generating synchronizer in XYZ/RE from the temporal specification of a multimedia program. XYZ/RE is a sub language representing real time system in XYZ/E. Compared with the related work, this method can transform not only a simple temporal specification but also a nested temporal specification, so that the generated synchronizer can be reused for different purposes.

关 键 词：多媒体同步器 自动构造 XYZ系统 RE 

分 类 号：TP37[自动化与计算机技术—计算机系统结构]