Formal model approach for reliable Object-Oriented information system design

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 has been proposed for the development of such systems and are attracting many developers today. In an Object-Oriented development method, a target system is organized into its abstract image consisting of its constituent atoms called objects. This method reduces the complexity of the system drastically. However, even with the use of such methodologies it is still difficult to provide and ensure high reliability for large-scale systems. In the past, developers relied on careful development using formal methods. Applying formal methods to such systems is very difficult because of the increasing scale of the software. Object-Oriented development does not provide adequate solutions to this problem. Thus, a development method that soundly merges together formal methods and Object-Oriented development is needed. We propose such development method in this paper.