• Article
  • | |
  • Metrics
  • |
  • Reference [1]
  • |
  • Related
  • |
  • Cited by [1]
  • | |
  • Comments
    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.

    Reference
    1  Tang Zhi-song et al. Temporal Logic Programming and Software Engi neering (Vol.1). Beijing: The Science Press, 1999 (唐稚松等.时序逻辑程序设计与软件工程(上册).北京:科学出版社,1999) 2  Allen J F. Maintaining knowledge about temporal intervals. Communicatio ns of the ACM, 1986,26(11):832~843 3  Tang Zhi-song, Yang Li. Real time programming with XYZ System. Chinese Journ al of Advanced Software Research, 1995,2(4):317~325 4  Manna Z, Pnueli A. The Temporal Logic of Reactive and Concurrent Systems: Spe cification. New York: Springer-Verlag, 1992 5  Kshirasagar Naik. Specification and synthesis of a multimedia synchronizer. I EEE Journal of Selected Areas in Communications, 1994,12(5):544~549 6  The World Web Wide Constrium. http://www.w3.org
    Related
Get Citation

赵琛,唐稚松,马华东.基于XYZ/RE的多媒体同步器自动构造方法.软件学报,2000,11(8):996-1002

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:January 17,2000
  • Revised:April 04,2000
You are the first2034841Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063