该文首先介绍了以时序逻辑为基础的适合多种序设计和不同层次抽象描述的SASE环境XYZ系统及其核心语言XYZ/E.接着讨论了基于XYZ系统的动画描述语言XYZ/ADL的设计思想和描述特点.用踪迹来刻画角色的行为是该文讨论动画踪迹语义的基础,作者创造性地引入踪迹产生式的概念,用它表示角色的动态语义,使角色的各种可能行为以一种统一的形式表现出来.以此为基础,该文定义了动画的动态语义,将它形式地表示为控制条件和同步条件约束下的动画中各角色的动态语义的组合,并以一个例子说明了如何用踪迹表示动画的动态语义.然后,该文定义了踪迹中的求精关系以及求精过程中语义一致的概念,讨论了三种求精方法:动作求精、情节求精和角色求精.文中给出了三种求精方法的详细定义,逐一分析了求精过程中的语义一致性问题,并得出三种求精方法保持了语义一致性的结论.最后,该文指出决定动画动态语义的三个因素,并对求精过程中的控制条件及同步条件不变假设进行了简要说明.