因此，我们利用UML和形式化方法来设计面向方面程序，并建立相应的面向方面软件设计模型来设计实时系统。
So we express the AOP using UML and formal methods, and establish the Aspect-Oriented Software Design Model correspondingly to model real-time systems.
各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。
Every formal verification approaches have their advantages and disadvantages, the main advantage of model checking is automation, its main drawback is the state explosion problem.
该模型采用面向对象和形式化相结合的方法，解决了现有信息融合模型缺乏可重用性、可靠性等问题。
The model is developed combing formal method with object-oriented method. It solves the problems of existing fusion models, which are short of reusability and dependability.
应用推荐