基于LOTOS的动态模型的形式化研究

Study of formalization of dynamic model based on LOTOS

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性,结合面向对象技术和状态图的理论知识,给出了基于LOTOS的动态模型的形式化方法,并给出了实例说明。

It is an efficient way to implement software automation by means of applying formalization methods to object oriented technology. In this paper, characters of formal description language LOTOS are introduced. 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.