A Methodology for Automatically Constructing a Multimedia Synchronize r in XYZ/RE
基于XYZ/RE的多媒体同步器自动构造方法

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.