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