Study Of Change-Oriented Service Version Consistency Checking Method

With the development of information technology, Internet is evolving into a platform for concentrating and sharing all kinds of resources. Service computing comes with this tendency, receiving wide attention from academia and the software industry. Web service acts as an opening, autonomous, platform melependent software, which can be better adapted to the service computing application development model features:multiplexing, flexibility and growability. Therefore, it has become the focus of software technology. In an open, dynamic and changeable network environment, in order to respond effectively to user needs, and the change of operating platforms and external environment, web service must have evolution capacity. From the view of management and control service evolution, this evolution capacity should meet the basic requirement:the interaction between evolved services and the original partners or users in service should be maintained properly. Researchers often use evolution consistency to measure whether the evolution of the service meets the basic requirements. As a result, how to check service evolution consistency, in order to better support the evolution of services, has become a key issue.Focused on the checking of evolution consistency of services, this thesis argues that the change caused by service evolution is the most important fundamental factors. At first, this thesis solves the problem of changes describration and then proposes Change-Vector Based Service Version Description Model. Secondly, this thesis studies the problem of changes extration, and proposes a hierarchical change-vector extraction method. Finally, from the point of checking the evolution consistency, relaxed service evolution consistency checking method based on the model CBSVD is proposed.For change-based version of the service modeling, this thesis presents three variations operations:add, delete and update. And then it gives the modeling of changes in the form of change-vector, combining with Service Abstract Description. With the formal description of changes, service version can be described as the form of "a before service version +changes", to explicitly reflect changes between the old and new versions, which makes a foundation support to evolution consistency checking based on change. After that, this thesis studies the changes extraction algorithm focused on structure layer, behavior layer and non-function layer, which can obtain the change-vector set between services versions. For the issue of evolution consistency checking based on change, in order to meet the needs of different users, this thesis studies consistency checking algorithm which checking threshold and relaxation coefficient can be customizied by users, and proposes calculation methods for structural consistency, behavioral consistency and non-functional consistency. At last, we design and realize a practical tool for service evolution consistency checking, with which the validity of evolution consistency determination method presented in this thesis is verified.