Deductive Object-oriented Systems Analysis
Deductive Object-oriented Approach to Systems Analysis.
Niemi, Timo, & Junkkari, Marko & Järvelin, Kalervo
Departments of Computer Science and Information Studies
University of Tampere
P.O.Box 607
FIN-33101 TAMPERE, Finland
Niemi, T. & Junkkari, M. & J&rvelin, K. (1998). Deductive Object-oriented Approach to Systems Analysis and its Representation with the Set Theory. Tampere, Finland: University of Tampere, Department of Computer Science, Report A-1998-15. 34 p.
Abstract
In next generation information systems it is necessary to combine data-oriented, behavioral and deductive aspects. In this paper we introduce a deductive object-oriented modeling method (DOOM) which takes into account these aspects and integrates them seamlessly with each other. Object-orientation in itself is a powerful tool for organizing both relationships and behavior among related data. Therefore our approach is based on the incorporation of deductive aspects to object-orientation. Unlike the existing object-oriented modeling methods, we develop a way based on set theory to represent the result of systems analysis precisely. Set theory affords the possibility of representing the application domain of interest without any reference to implementation issues. It is obvious that in next generation information systems complex (often deductive) and large specifications have to be to embedded in application specific structures and concepts which are available to the user for facilitating query formulation. The detection and specification of this kind of information means a new challenge for analysis methods. In the paper we show that the modeling primitives of our modeling method can represent this kind of information in a natural way..
Return to Kal's home page.
Return to Kal's publication list.
Paluu Kallen kotisivulle.
Paluu Kallen julkaisuluetteloon.