Research On The Conflict Detection Of Component Interaction Based On Component Relativity

Component Based Software Development has been widely used in software development. In the process of CBSD, application system is composed of the components that are developed by different developers. Component is the basic unit in CBSD, which implements special function. The function of application system is expressed by the way of the interactions of composed components. Because of the encapsulation of components, user could not know the how they are implemented. So that, one component may impact others when they are interacting. And there would be some expected actions emerging in the system, which is called component interaction problem. It is meaningful for us to work out an effective method to solve component interaction problem in CBSD.Component interaction problem is associated not only with the inner implementation but also with the assembling pattern. Formal method is one of the most effective methods to detect Component interaction problem. Although formal method is effective, it is restricted by many factors, such as "combination state explosion". In order to resolve this problem, we have done a deep research on component interaction problem as well as its relational factors in this dissertation, under the postulation of expanding existing component system. Then this dissertation has proposed a new mean to detect the conflict of component interaction.First of all, the dissertation analyzes the component model as well as the process of interaction. It has summarized the component assembling pattern as four basic types, and gives an abstract description of each type in formal method.Secondly, in order to reduce the influence of the "combination state explosion", the research on component relativity has been done in the second part of this dissertation. Then the concept of interface matrix has been proposed, which describes component interaction in a more refining granularity. Based on interface matrix, the dissertation presents a method to detect the relativity of component, which could dynamically find out those components that would conflict with each other, when the systemic components have been transformed. So that it could reduce the detecting side, avoid some unnecessary postulations and decline the influence of the factor that is combination state explosion.Finally, based on above studies, the dissertation presents a new conflict detection method of component interaction, which takes advantage of the component relativity and decrease the range need detected. The method presented in this dissertation also makes use of the assembling pattern, in order to detect the interaction more precisely. Moreover, an experiment on E-mail client system has been performed to validate the effect of method in the research.