| 摘要: |
| XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统.它由时序逻 辑语言(temporal logic language,简称TLL)XYZ/E和以该语言为基础的一组软件工程工具组 成.为了研究XYZ系统在多媒体领域中的应用问题,介绍了一种依据多媒体对象时序描述 自动生成用XYZ/RE表示的播放同步器的方法,XYZ/RE是时序逻辑语言族XYZ/E中表示实时系统 的子语言.与相关工作比较,该方法不仅可以处理简单的时序关系，而且可以处理嵌套的时序 关系,所产生的同步器可以复用于不同的节目. |
| 关键词: 时序关系,XYZ系统,XYZ/RE,同步器. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家“九五”重点科技攻关项目基金(No.98-780-01-07-01)和国 家863高科技项目基金(No.863-306-ZT02-04-1)资助. |
|
| A Methodology for Automatically Constructing a Multimedia Synchronize r in XYZ/RE |
|
ZHAO Chen,TANG Zhi-song,MA Hua-dong
|
| Abstract: |
| 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 l anguage) 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 thi s 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 s ub-language representing real time system in XYZ/E. Compared with the related w ork, this method can transform not only a simple temporal specification but also a nested temporal specification, so that the generated synchronizer can be reus ed for different purposes. |
| Key words: Temporal relations, XYZ system, XYZ/RE, synchronizer. |
