Research On Transformation Method From Requrements Model To Software Architecture

Model-driven development has been the core technology of the software development pattern in the software engineering. The current industry and academia are still focused on how to use the traditional software development process to fulfill the target software. The traditional software development paid a low attention on requirement engineering, along with in-depth research of software engineering, more and more people began to attach importance to the important role of requirement engineering in software development. Under the precondition of guaranteeing the software quality, how to increase the production efficiency of software production is also the research focus of the software engineering. Software development process is basically includes the requirements analysis, design, development, testing, and maintenance, in most cases, the software developers design the system in the process of requirements modeling. In the detailed design and implementation phases, they are still need to redesign the system, or even completely abandon the requirements model. Therefore, it is necessary to propose a method to help software developers to liberate the workforce and to circumvent these problems.At present, there are a lot of software development work needs to be completed manually. From the perspective of the automation of software development, this article integrates the thought of the model-driven development, to research how to get the system architecture of the target software from the requirement model. The meaning of this work is that:firstly whether the software architecture is standard or not is the key for determining that if the realization of the code in the later work can ensure orderly and completely. Secondly, the software is coded with a constraint of the real world is also a proved effective way which can lower the risk of developing. Therefore, this article researches the related content by dividing the works to be two parts:?under the precondition of the requirement model based on the software behavior, the model content is extracted and changed to the structural element in the software architecture structure, to get the architecture of the target software;?onsidering the characteristics that the requirement model is easy to change, research on how to trace the change of the requirement, and research the influence of this change on the software architecture. The main related work is as follows:(1) The transformation method from requirement model to software architectureStarting from BDL (Behavioral Description Language) model and based on the modeling method of BDL model, the model structure of the requirement model is analyzed, among it, pay attention to the each level of each element body and the binary relation. Through the analysis of the model structure of BDL model, make the formalized description to the element of BDL model, mainly aimed at the system level, viewpoint level and scene level. From the viewpoint of the layering, propose the concept of ART (Architecture Refinement Tree), vividly describes the positioning of the different requirement element in the level of abstraction in the system level.The first job is to extract the structural element of the BDL model. It has to define the scene unit of requirement model as the basic components of the target software system, and according to the BNF paradigm, to extract the structural elements of the BDL model. To divide the requirement model from characteristic, in which, the dependence characteristic becomes the main extraction basis of the structural element. The extracted structure elements need to be described. Therefore, this article proposes a kind of struct which is named ADS (Architecture Description Struct) to depict these structural elements. Then, starting from dependence characteristics, research the dependencies between requirement and requirement, this dependency relationship is based on the ART to discuss.The second job is to study how to map the structure element to the software architecture based on ADS struct, which is research from two aspects:type mapping and structure mapping, in which, the type mappings are mainly discussing how to make the type definition of parameters in BDL model. The structure mapping fulfills the mapping of BDL model to the target software architecture from the direct mapping, decomposition mapping and composition mapping.(2) The consistency proving between the structure of the BDL model and the software architectureThe development process of the transformation from BDL model structure to the software architecture is similar as MDD (Model-Driven Development). It goes through the three model phases of CIM (Computation Independent Model), PIM (Platform Independent Model), and PSM (Platform Specific Model). In theory, BDL model is theoretically CIM, the ART depicted by ADS is PIM, and the resulting software architecture can be seen as PSM. In this paper, we study the PIM to PSM transformation process, from two aspects of behavioral semantic consistency and structure semantic consistency to ensure consistency of transformation.The structural semantic consistency problem is mainly facing to the work (1) in which, the three types of mapping is processing the semantic maintenance and consistency proving. The behavior semantic consistency problem is mainly starting from the weak equivalent theory to research the behavior trajectories of the observable behaviors to prove that the two models are having the behavioral consistency.(3) The tracking mechanism of the change of the requirement modelThe dependence analysis method of the requirement model based on BDL is proposed, and the computing method to the model complexity is defined, as well as the tracking mechanism of the model change is proposed. From the requirement structure, the requirement algorithms are proposed. From different levels of abstraction, the change in the requirement is feedback. Research on the process of requirements change from the identifying of requirements change and discussing the tracking mechanism. Starting from the change of requirement model, the importance problems of the requirement completeness, redundancy, and deficient detection have been researched.This article establishes a toolset system, and provides an example to illustrate the method proposed in this article. At the same time, this article finally also discusses the possibility of transformation of other requirement model under this method.