Research And Application Of The System Model Based In Components

Along with the rapid development of software technology, the computer software can extensively be applied to each realm, for example:The industry, the chemical industry, the spaceflight, the business management and office system etc.It also makes the scale and complications of software increase. For sakeing the cost of the decrease software development and maintenance and avoiding to develop the similar function of the software development, the method of software development based in the software reuse and the software component. This method is to request when developing new system, as far as possible reuse haven already development information and the developed software component. Because of development platform restriction, reusing the code of component have limitations. But what reused is the system model based in the components,and if the model modeled by UML, reusing the model is unstricted by the platform. So reusing the system model based in component is universality. So make how to get one the correct and credibility system model based in components to become the essential important problem.The focus of this artical research is that how to work out this key problem.Geting one the correct and credibility system model based in components need to begin as follows from several problems:The first, for the reuse of the model, must adopting unified norm and extensively applying replying of software model.In this article support using the popular UML(Unified Modeling Language) to model and give the method and process of modeling. UML is a kind of relatively mature and widely used model language. It can used for the demand analysis, design, browse, maintenance and information control of system, the more important is that it supports to model the system model based in components.The second, if model by UML, must use the method of multi-view. So must happen the consistency. This article reaserches the rules of the consistency checking, which are used to check the multi-view consistency problem. Finally ensure to keep the multi-view consistency of the system model by the rules, so different multi-views are composed together to be a integral and correct system model.The third, after working out the second problem of checking the consistency, we needs to consider whether this system model described from different angles by many multi-views is whether is correct and satisfied in the requests of the customer and the proper nature. If unsatified, we can't extract the correct components of system model. The UML state describs that the dynamic behavior and the state transition of the system in its life cycle, so we can check whether the model is satisfied in the proper nature by checking the statecharts. The main method is that the structure of the complex statecharts transform to the structure of the hierarchical automaton,and use the checking algorithm getted by imporving the relatively mature the method of model checking.The fourth, after getting the correct system model, need to solve how to componnent analysis from the modeled already multi-views model of the system. This artical gives use the method of working out this problem.The fifth, after getting the system model based in components, for ensuring the reliability of realizing the system by this model, so need to solve the problem of checking the reliability of the system model based in components. This artical uses the markov theory and the feature of the structure of the system model based in component to get the algorithm.After the above-mentioned research, for getting the correct and reliable system model based in components provide the methods.