The Primary Research Of PAR Applied To MIS Development Method

It is important of formal method to improve correct and reliability of software and decrease greatly maintenance cost of software. Because of limitation of design cycle and personal ability and difficulty of proving and reasoning with formal symbol system, formal method has not been used widely in practicable software development.Based on PAR method including Radl/Apla language and automatic transformation tools which was proposed by Prof. Xue for design, reasoning and proving of algorithmic programs, we have studied PAR's application in one management information system - Natural Science Fund Project Management System of JiangXi. The primary woks we have done include formal description of system requirement, key algorithm and Apia - SQL transformation rules, and development of Apla- SQL automatic transformation system.In requirement modeling, we attempt to use Radl to describe MIS's behavior pattern, property, and build its mathematic model which can improve clearness and precision of requirement specifications, and find out most of bugs in the start of system building. This research is a profitable attempt to build high quality requirement modeling of software.In key algorithm, we attempt to use Apla with high reliability class library to develop several intelligent algorithms, and transform them from Apia programs to executable Delphi program with the help of Apla-Delphi automatic transformation system. In according to implement algorithmic programs in abstract level, this development pattern can improve greatly efficiency and ensure correct and reliability of system.In database development which is a new research field in PAR, we attempt to analyze the corresponding relation between Apla ADT and database SQL to extend Apia's ability to manipulate database, and develop the Apla-SQL automatic transformation system. With the help of translator, we will focus on final goal in database development rather than get into trouble with some useless detail.Our research concludes that PAR's application in MIS development can not only decrease complexity of software development, but also improve software's correct and reliability.