Research on Verification of Models in Object-oriented Analysis

面向对象分析中模型验证的研究

• 批准号: 06680318
• 负责人: OHNISHI Atsushi
• 金额: $ 1.34万
• 依托单位: Ritsumeikan University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 1995
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-06680318/
• 关键词: Object-oriented Analysis; Requirements Analysis; Requirements Definition; Software Development

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.

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

项目成果

Atsushi Ohnishi: "A Visual Software Requiremenhts Definition Method" Proc.IEEE Int'l Conf.Requirements Engineering(ICRE)'94. 194-201 (1994)

Atsushi Ohnishi：“可视化软件需求定义方法”Proc.IEEE Intl Conf.Requirements Engineering(ICRE)94。

大西 淳: "要求仕様データベースシステムの開発" 情報処理学会研究報告(ソフトウェア工学研究会). SE100. 1-8 (1994)

Jun Onishi：“需求规范数据库系统的开发”日本信息处理学会研究报告（软件工程研究组）1-8（1994）。

Atsushi Ohnishi: "CARD: an Environment for Software Requirements Definition" Proc. Asia-Pacific Software Engineering Conference. 420-429 (1995)

Atsushi Ohnishi：“CARD：软件需求定义环境”Proc。

Atsushi OHNISHI: "A Visual Software Requirements Definition Method" Proc.IEEE first International Conference on Requirements Engineering (ICRE). 194-201 (1994)

Atsushi OHNISHI：“可视化软件需求定义方法”Proc.IEEE 第一届国际需求工程会议 (ICRE)。

大西 淳: "ビジュアルなソフトウェア要求仕様化技法" 情報処理学会論文誌. 36. 1183-1191 (1995)

Jun Onishi：《可视化软件需求规范技术》日本信息处理学会杂志 36. 1183-1191 (1995)。