Title :
Unification and consistency verification of object-oriented analysis models
Author :
Aoki, Toshiaki ; Katayama, Takuya
Author_Institution :
Sch. of Inf. Sci., Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
Abstract :
The scale of software products is becoming larger as a result of the rapid progress and increasing use of computer systems. It is necessary to develop such large-scale software effectively. object-oriented methodologies have been proposed for the development of such systems. In typical object-oriented methodologies like OMT, a target system is described by several model which mirror different views of it. Though it is desirable to analyze models in this style as it enables us to represent independent aspects of the system in orthogonal manner, it causes a difficulty to maintain consistency among them. In this paper, we show a mechanism to unify analysis models at first. This allows us to deal with the models in concepts shared by them. Next we propose a verification method for checking consistency among them with respect to dataflow. In our method, verification is performed by proving dataflow in an axiomatic system
Keywords :
data flow analysis; object-oriented methods; program verification; checking consistency; consistency verification; dataflow; large-scale software; object-oriented analysis; software products; verification method; Computer languages; Dictionaries; Independent component analysis; Information science; Merging; Microwave integrated circuits; Object oriented modeling; Programming;
Conference_Titel :
Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific
Conference_Location :
Taipei
Print_ISBN :
0-8186-9183-2
DOI :
10.1109/APSEC.1998.733732