Study of formalization of dynamic model based on LOTOS
Xuewen Jiang · Journal of Chongqing University of Posts and Telecommunications · 2006
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.