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的动态模型的形式化方法，并给出了实例说明。
If desired, you can proceed from here using the Microsoft Graph object model on the oChart object to make additional changes to the chart.
如果需要，你可以从这里继续使用微软的图形对象模型ochart对象做出额外的修改图。
If desired, you can proceed from here using the Microsoft Graph object model on the oChart object to make additional changes to the chart.
如果需要，你可以从这里继续使用微软的图形对象模型ochart对象做出额外的修改图。
应用推荐