Research on Verification of Models in Object-oriented Analysis

提出了一种验证面向对象分析（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.