Research on Verification of Models in Object-oriented Analysis

提出了一种支持面向对象分析（OOA）中模型正确性验证和OOA三种模型一致性验证的方法，通过检查模型是否具有属性、方法和关系来验证对象模型的正确性。功能模型的正确性通过检查模型是否有输入/输出来验证。通过检查动态模型是否具有状态和属性以及检查状态转换中的前状态和后状态之间的一致性来验证动态模型的正确性，通过检查对象模型的属性和方法与定义动态模型的状态和动态模型的活动的属性之间是否不矛盾来验证对象模型和动态模型之间的一致性。通过检查对象模型的关系和方法与功能模型的流程之间是否不矛盾来验证对象模型与功能模型之间的一致性。我们提供了一种方法，使一个场景的数据转换从一个动态的模型，并开发了一个可视化的语言来表达一个功能模型。通过一个场景和一个可视化规范，我们可以展示数据转换的动画。通过动画验证了动态模型和功能模型的一致性，并开发了原型系统，通过实例验证了该方法的有效性。

A supporting method of both verifying the correctness of models in the object-oriented analysis (OOA) and verifying the consistency among the three models of OOA is proposed.The correctness of an object model is verified by checking whether the model has attributes, methods, and relations. The correctness of an functional model is verified by checking whether the model has input/output. The correctness of an dynamic model is verified by checking whether the model has states and attributes and by checking the consistency between pre-states and post-states in state transitions.The consistency between an object model and an dynamic model is verified by checking whether no contradictions between attributes and methods of the object model and attributes which define states of the dynamic model and activities of the dynamic model. The consistency between an object model and a functional model is verified by checking whether no contradictions between relationships and methods of the object model and dataflows of the functional model. We provide a way of making a scenario of data transformation from a dynamic model and developed a visual language to express a functional model. With a scenario and a visual specification, we can show an animation of data transformations. The consistency between an dynamic model and a functional model is verified by checking the animation.We have developed prototypes and validated our method with some examples.