%0 Journal Article
%T A Methodology for Automatically Constructing a Multimedia Synchronize r in XYZ/RE<br>基于XYZ/RE的多媒体同步器自动构造方法
%A ZHAO Chen
%A TANG Zhi-song
%A MA Hua-dong
%A <br>赵琛
%A 唐稚松
%A 马华东
%J 软件学报
%D 2000
%I 
%X 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.
%K Temporal relations
%K XYZ system
%K XYZ/RE
%K synchronizer<br>时序关系
%K XYZ系统
%K XYZ/RE
%K 同步器.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=40B093D691C068F1&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=5D311CA918CA9A03&sid=112A5CAF55F27887&eid=15A3E3A739C4EF3F&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=7