The Research And Implementation Of Component Software Development Based On PAR Method

Since software crisis broke out, poor reliability and low efficiency of development are the two main problems of software industry. To develop correct, reliable software efficiently is an urgent requirement of software industry nowadays. In recent years, it is realized that engineered development and industrialized production is the only feasible way to solve the software crisis problem. Software reuse and software automatization are the key technologies to implement software industrialization.Software reuse technology is a solution to the problem of repetitious work during software development, Software components are the kernel and basis of software reuse technology, thus software reuse is a process of component software development. Software automatization is based on software formalization. PAR method is a practical formal method to develop software, it can automatically transform algorithm specification to abstract program and abstract program to executable program, so it partly achieves software development automatization and guarantees the correctness and reliability of program.This thesis deeply discusses software development from both software reuse and software automatization aspects. Under the instruction of component software development philosophy, we use software automatization technology provided by PAR method, especially PAR method's relational database operation mechanism to develop real software system, and implement a workflow management system. We analyse, design and build the model of this system top-down and implement this system bottom-up. During the process of the system's implementation, we successfully use PAR method and PAR platform to implement the data access components and some algorithm components. With the high reliability guaranteed by PAR method, the system codes are automatically transformed by the PAR platform's auto-transformation tools. We find in practice that the development efficiency and reliability of components which are developed by PAR method and PAR platform are highly improved.The main creatives of this thesis are as follow:1. We use software architecture theory to analyse the system components during system design and modeling phase. By importing the concept of software architecture into existing component model, we can conveniently build the model of complex components, thereby we can accomplish the modeling work of the whole system more smoothly.2. We try to use Apla->Java auto program transformer to develop this workflow management system, especially the system's data access components. With the automatization mechanism provided by PAR method, the development efficiency and reliability of the system is greatly improved.3. We finish this system by assembling software components. Components developed by PAR method and components directly developed by Java code can work together by assembling them together. This is also an important aspect of software reuse.This workflow management system is a sub system of the OA system. As an example of PAR method's application, it demonstrates the great value of the combination of PAR method and component development in software development.