Formal Analysis Of Component Adaptation Techniques And Realization

Component-based Development (CBSD), or Component-Based Software Engineering (CBSE) is a new kind of software development. It is a process that reuses one or many software components in component storehouse under the support of certain component model, and constructs applicative software system with the combination method efficiently and qualitatively. In that the technology of component realization based on distributional object is becoming more and more mature, nowadays the CSBD has become the hotspot of the research of software reuse practice, it was also been considered one of the most potential software engineering development directions.The increasing demand for commercial software components has led to contradiction between consumer demand and component developers, and the difference between component standard caused the component assembly to be more and more difficult in particular. Component Adaptation is one solution to this issue. This thesis focused on the design method of the uses of Z language standard, applied the adaptation technique to Enterprise Java Bean?, and used this technique of active Interfaces so as to carry on adaptation to it. According to the research of this technique, the component may provide a connection that specially established for the adaptation, which is also the key to it. The development of this technique made certain duties been carried out automatically, which may reduce the interaction between users, and may also make the use of tool much simpler.As to the problem that component does not conform to the applicative procedure demand in software reuse, this thesis analyzed the component adaptation technique from a formalized perspective, studied the method of adaptable EJB component, established adaptable model of active interface that based on EJB component, and studied the method of designing adaptable component. This method supports the foundation of the adaptable software component.