Research On Service-Oriented Software Requirement Modeling And Refinement

With the rapid and broad application of software, the scale and complexity of software is also improving rapidly. People become more emphasis on the software quality and how to improve the productivity of software development. Software reuse is of the solution to avoid the repeat development work in the software development process. By software reuse, it can improve software development efficiency and software quality at the same time. Model driven software development and service-oriented development provide a solution to problems of software reuse from requirement stage to the design stage.Aiming at the deficiency of current work, this thesis provides corresponding solutions on the problems of requirement modeling, model verification and model transformation from the perspective of service-oriented and model-driven development. Namely, the main contribution of this thesis includes:On the base of feature model, this thesis proposes a service-oriented feature model. A service-oreiented feature model is described using service feature and relations between service features. And the formal definition of service-oriented feature model is given. The service features in this model are defined as a 9-tuples to describe the nine attributes of the service feature. And the relationship between the service features can be classified into four categories of refinements, constraints, request and exclusion. And four basic properties of the service-oriented feature model are pointed out.This thesis proposes a formal method for software requirement customization and verification.And gives four model customization rules to transform service-oriented feature model to target system requirement model. by using Kripke-structure to describe the requirement model and CTL formula to describe model properties, software rquiement model is checked by SMV automatically.The transformation from CIM to PIM is achieved by using model refinement. The refinement can be classified as two categories, namely simple refinement and complex refinement. Simple refinement is further classified as decomposition, specialization and operationalization, and complex refinement as interpretation mapping and model deduction. Interpretation mapping is based on the embedding isomorphic mapping, which can map the abstract model to the concrete one. Model deduction borrows the idea of program synthesis of Manna. To improve the model deduction, we add the model, service, and component as the type of variable. Model is regarded as a set of theories. When we use a rule to the model, we must apply the rule to all theories of the model.A complete framework of transformation from software requirement analysis to its system architecture is proposed. The modeling and model transformation under the MDA framework is further supported by utilizing design pattern. In this framework, design patterns can be classified as four layers namely domain pattern, analysis pattern, architecture pattern, and design pattern. Different kinds of pattern will be applied in the different phase of model transformation. In each phase of the transformation, pattern is used as structure mapping rules to improve the efficiency of model transformation and realized the reuse of the software requirement and architecture.A prototype tool which supports the modeling and refining framework is designed and implemented. The thesis gives the main functions and software architecture of the tool.