Research And Application Of Formal Method For Software Development Based On Components

It has been an important issue facing the development of MIS as how to quickly and successfully develop software satisfying the requirement of enterprises, which has such flexibility as can adapt to the changes of the organization and business process.To overcome the disadvantages of the current development methods, this dissertation deeply studied component reuse and XML; with a combination of component technology and XML and based on formal development method, this work presents a formal development method model for MIS based on components.In regard to the incompleteness of requirement analysis in software development, which brings ambiguity and other problems, we propose the procedures for formal requirement analysis to effectively eliminate the ambiguity in requirement analysis and inconsistency. For the disadvantage of poor adaptability of the current information systems, we propose a component library management framework based on components and XML, and an information system integration platform. The framework enables slot assembly for component based information system; systems built under the framework have strong flexibility and scalability, and can adapt to the adjustment of enterprise organization and are ready for reorganization. In order to improve the efficiency for component retrieval, we propose a method based on case reasoning; and in regard to the retrieval by tree matching, we propose path indexing algorithm. The seamless integration of the method with inversely indexing documents enables a double indexing of contents and structure for XML documents, which greatly improves retrieval efficiency. As for the pattern matching for component retrieval and retrieval of compressed documents, we propose to use String B-tree to solve parameterized pattern matching and an efficient searching algorithm based on BW conversion, which solve the parameterized pattern matching and retrieval in compressed component library. In addition, we propose dynamic menu integration for information systems and role based authorization.Taking the electric power information system of a certain enterprise as example, and applying the proposed development model, we build dynamic integration framework platform for the electric power marketing information system, which demonstrates the effectiveness and effective of the proposed method.