The Research On The Application Of PAR Method In Constructing High-Reliability MIS

As our society more and more relies on information technology, it is urgent issue to enhance the reliability of computer software in critical systems. Formalization and automatization in software development are viewed as the effective ways to solves improve the reliability of software.In this context, this paper presents an application about applying formal method to the development of highly reliable Management Information System (MIS). Based on the PAR method--- a practical software development method and its support tools raised by Professor Xue Jinyun we design and develop a typical case --- management information system in National Computer Rank Examination (NCRE).In the development process, we use Radl language to describe the requirement specification formally, and provide the formal deduction or provision to the core algorithms. Moreover we describe abstract program in Apla language, and realize the database query operations with the technology of relational algebra in Apla. Through all these great deal of practical work, the reliability of this MIS in NCRE has been significantly improved.The innovation of this paper is found in the following aspects:We explore the application of PAR method in developing the highly reliable MIS. PAR method is often applied to develop algorithm and program, and we apply PAR method to MIS for the first time, and design and develop MIS in NCRE. Practices show that PAR method is very effective in improving the reliability of software.We use semiautomatic method to develop MIS, and improve the efficiency of system development. This paper adopts Apla to describe abstract program, and then converts the program described in Apla to C++. It saves time for coding and improves development efficiency.Our study shows: applying PAR method to develop management information system not only reduces the complexity of software but also enhances the reliability and correctness of the software itself.