Formal specification for basic video structure using Z

In software engineering, formal methods are particular mathematically based techniques and tools for the formal specification, model checking, proof, and validation software and hardware systems. It can support program development process. Structuring the video stream is an important part in video processing. A hierarchical structure is a basic structure for video that contains four types of component, video, scene, shot, and key frame. Formalizing is able to support the integrity and precision of the modeling language. Nowadays, many studies have been discovering related to formal methods, video structure, formal specification, and formalizing. This paper discusses about an analysis of formal methods, video basic structure, and structuring formal methods in video structure. The output of this study is that developers can easily determine the structure of relationships in the video using the formal specification.