Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented.Furthermore, a case is presented to demonstrate this method.

• 介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。