Specification and Verification of Multimedia Synchronization in Duration Calculus  

作　　者：马华东 

机构地区：[1]SchoolofComputerScienceandTechnologyBeijingUniversityofPostsandTelecommunications,Beijing100876,P.R.C

出　　处：《Journal of Computer Science & Technology》2003年第2期172-180,共9页计算机科学技术学报（英文版）

基　　金：国家自然科学基金，教育部优秀青年教师资助计划

摘　　要：This paper proposes a new method of specifying multimedia synchronization basedon Duration Calculus (DC), a real time interval logic, presents the completeness of the new model,and uses it to specify the temporal relations between multimedia objects. Moreover, the paperprovides a method of constructing a meta-script based on basic synchronization requirements. Someproperties of the formal specifications, including safety and liveness, are stated in DC. Furthermore,the verification of the above properties is discussed in DC semantic. Compared with other methodsfor specifying multimedia synchronization, this method is more powerful and flexible, and it is goodat specifying the quantitative properties of multimedia synchronization.

分 类 号：TP37[自动化与计算机技术—计算机系统结构]