Modeling video-on-demand system in temporal logic

被引:0
作者
Liu, WM [1 ]
Ma, HD
机构
[1] Beijing Univ Posts & Telecommun, Coll Comp Sci & Technol, Beijing 100876, Peoples R China
[2] Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China
来源
ADVANCES IN MUTLIMEDIA INFORMATION PROCESSING - PCM 2001, PROCEEDINGS | 2001年 / 2195卷
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:983 / 988
页数:6
相关论文
共 8 条
[1]  
CHEN Z, 2000, J SOFTWARE, V11, P996
[2]  
COHEN R, 1996, IEEE J SELECTED AREA, V14
[3]  
MA HD, 1996, J SOFTWARE, V7, P385
[4]  
MA HD, 1999, J COMPUTER SCI TECHN, V14
[5]  
Ma Hua-Dong, 1998, Journal of Software, V9, P889
[6]  
Ma Huadong, 1995, Chinese Journal of Computers, V18, P814
[7]  
MANN Z, 1992, TEMPORAL LOGIC REACT
[8]  
Tang Z, 1999, TEMPORAL LOGIC PROGR, V1