Abstract
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.
The work reported in this paper is partly supported by the NNSF of China under Grant 69873006 and Computer Science Lab., Institute of Software, CAS.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Reuven Cohen, Yee-Hsiang Chang, Video-on-Demand session management, IEEE Journal on Selected Areas in Communication, 1996, 14(6).
Digital Audio-Visual Council, DAVIC Specifications 1.0-1.4, http://www.davic.org.
Huadong Ma, Shenquan Liu, Multimedia data modeling based on temporal logic and XYZ System, J. Computer Science & Technology, 1999.14(2).
Huadong Ma and Xiaoping Tang, Design and implementation of multimedia authoring language. Journal of Software, 1998, 9 (12): 889–893 (in Chinese).
Huadong Ma and Shenquan Liu, Temporal logic based animation description model. Chinese Journal of Computers, 1995,18(11):814–821.
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).
Z. Manna, A. Pnueli, The Temporal Logic of Reactive and Concurrent System: Specification, Springer-Verlag, NY, 1992.
Zhishong Tang, Temporal Logic Programming and Software Engineering (Vol.1). Science Press, Beijing, 1999 (in Chinese).
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).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, W., Ma, H. (2001). Modeling Video-on-Demand System in Temporal Logic. In: Shum, HY., Liao, M., Chang, SF. (eds) Advances in Multimedia Information Processing — PCM 2001. PCM 2001. Lecture Notes in Computer Science, vol 2195. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45453-5_132
Download citation
DOI: https://doi.org/10.1007/3-540-45453-5_132
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42680-6
Online ISBN: 978-3-540-45453-3
eBook Packages: Springer Book Archive