Modeling Video-on-Demand System in Temporal Logic

  • W. Liu
  • H. Ma
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2195)


Based on the temporal logic language XYZ, this paper proposes a specification model of Video-on-Demand (VoD) system. By this model, we specify the behaviors of VoD system and discusses the features of VoD system. The advantages of this method are formal, and easy to transform the specification into implementable code.


Temporal Logic Linear Temporal Logic Functional Entity Concurrent Behavior Channel Operation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Reuven Cohen, Yee-Hsiang Chang, Video-on-Demand session management, IEEE Journal on Selected Areas in Communication, 1996, 14(6).Google Scholar
  2. 2.
    Digital Audio-Visual Council, DAVIC Specifications 1.0-1.4,
  3. 3.
    Huadong Ma, Shenquan Liu, Multimedia data modeling based on temporal logic and XYZ System, J. Computer Science & Technology, 1999.14(2).Google Scholar
  4. 4.
    Huadong Ma and Xiaoping Tang, Design and implementation of multimedia authoring language. Journal of Software, 1998, 9 (12): 889–893 (in Chinese).Google Scholar
  5. 5.
    Huadong Ma and Shenquan Liu, Temporal logic based animation description model. Chinese Journal of Computers, 1995,18(11):814–821.Google Scholar
  6. 6.
    Huadong Ma, et al., The design and implementation of animation script description language SDL/A. Journal of Software, 1996,7(7):385–393 (in Chinese).Google Scholar
  7. 7.
    Z. Manna, A. Pnueli, The Temporal Logic of Reactive and Concurrent System: Specification, Springer-Verlag, NY, 1992.Google Scholar
  8. 8.
    Zhishong Tang, Temporal Logic Programming and Software Engineering (Vol.1). Science Press, Beijing, 1999 (in Chinese).Google Scholar
  9. 9.
    Chen Zhao, Zhishong Tang, Huadong Ma. A methodology for automatically constructing a multimedia synchronizer in XYZ/RE. Journal of Software, 2000,11(8): 996–1002 (in Chinese).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • W. Liu
    • 1
  • H. Ma
    • 2
  1. 1.College of Computer Science & TechnologyBeijing University of Posts and TelecommunicationsBeijingChina
  2. 2.Computer Science Lab.Institute of Software, Chinese Academy of ScienceBeijingChina

Personalised recommendations