Modeling Video-on-Demand System in Temporal Logic

Authors:
Weimin Liu;Huadong Ma
Affiliations:
-;-
Venue:
PCM '01 Proceedings of the Second IEEE Pacific Rim Conference on Multimedia: Advances in Multimedia Information Processing
Year:
2001

Citing 2
Cited 1

The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Video-on-demand session management

IEEE Journal on Selected Areas in Communications

Specification and verification of multimedia synchronization in duration calculus

Journal of Computer Science and Technology

Quantified Score

Hi-index	0.01

Visualization

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.