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对象做出额外的修改图。
应用推荐