详情

原文传递 A Formal Definition of the Object-Oriented Paradigm for Requirements Analysis

题名：	A Formal Definition of the Object-Oriented Paradigm for Requirements Analysis
作者：	Boyd, Andrew D;
关键词：	definition；object；analysis；adig；representation；literature；graphic；simulation；relation；method
摘要：	This paper develops a formal definition of the Object-Oriented paradigm for requirements analysis. The literature was surveyed for both formal and informal methods for conducting an Object-Oriented Requirements Analysis (OORA). The informal methods reviewed are: Bailin's, Shlaer and Mellor's, Booch's, and Coad and Yourdon's. The formal methods reviewed are: Bralick's, Z, and REFINE. None of the methods were found to be adequate for doing an OORA. A formal definition of an OORA, based on the concept of classes, is developed. The definition itself is presented as set and relation theory. A supporting graphical representation is also developed and presented. The graphical method allows a system to be successfully leveled. The formalism is validated by applying it to the Air Traffic Control (ATC) simulation.
报告类型：	科技报告