An Approach For Evolution Of Service-Oriented Requirements Specifications

With the change of the user need, business rules and system context, the requirements of the service-oriented software system inevitably requires continued evolution. There are some problems about a lot of existing methods and techniques which are related to service-oriented requirements specification evolution. These problems lie in the difficulty of explicitly describing and using the information which supports the operation and the process of requirements evolution. So it is hard to establish effective approach for service-oriented requirements specification evolution.Aiming at the problems above, according to the characteristics of service-oriented requirements specification; this paper proposed a method for evolution service-oriented requirements specification based on reflection. This method takes advantage of the meta-information that supports service-oriented requirements specification evolution, packs the specification into manageable, evolvable reflective requirements specification. During the requirements evolution, the meta-information is used to support the whole process. And the evolution of requirements specification is accomplished via the mechanism of reflection. On the support of this method, the requirements analyzer could accomplish the task of evolution with a series of operations that supports management of change, implementation of change and reuse of the requirements models.This paper mainly contains:(1) A method for requirements evolution is proposed based on reflection. The requirements analyzer could efficiently manage the change of requirements, and finish the evolution in a simple way with the help of this method. (2) A formal model to describing requirements specification evolution is proposed. The model includes two aspects:one is the formal specification for base-level, meta-level and the interaction between the two levels. Another is the formal specification on the evolution of requirements specification. Based on the model, an approach to analyze and verification for soundness of business process, soundness of the composition of business process and the correctness of requirements evolution is proposed. (3) The case study about shopping-online system is conduct. The case study may prove the correctness and effectiveness of the method proposed in this paper. (4.) A support tool for the method proposed is designed. The function of the tool, the general design of the tool, and the key technologies for the implementation of the tool would be introduced.