多媒体节目时序描述的完全性和协调性

完全性和协调性是形式规范的两个基本性质，针对不同的形式规范，完全性和协调性的定义可能是不同的。该文首先根据通信顺序的理论，把一个多媒体用两个瞬时事件表示，并且定义了时间区间向量的概念和在它之上的一些运算，基于这些准确工作，文中给出了多媒体系统中媒体对象时序关系描述的完全性和协调性的形式定义，由于文中讨论的时序描述语言较简单，但是对于多媒体领域又是足够的，因此，与相关工作比较，该文研究的完全性和协调

The Completeness and Consistency of Temporal Specifications for the Multimedia Program

The completeness and consistency are essential properties for formal specifications. They may have different definitions for different kinds of formal models. This paper first expresses a multimedia stream by two instantaneous events according to the CSP(Communicating Sequential Process) theory. Then the concept of time duration vector is defined and some computations on it are considered. Based on these preparing work, the completeness and consistency of the temporal specifications for a distributed multimedia system are formally defined. Compared with related work, because the temporal specification language is not complex but enough to the multimedia field, the definitions are intuitive and the deciding algorithm based on the definitions is efficient.