Behavior And Viewpoint Oriented Requirement Modeling Method

Requirement Modeling combines the requirement which expressed in natural language and the requirement which expressed in graphics and mathematical notation, and then arrive at the complete description for the target system, aims at checking consistency, completeness and fault for requirement, etc.The development process of a large-scale complex system will involve many participants, especially in the stage of requirement anlysis. The participants often have different knowledge background and different obligation and starting point, so they may propose their viewpoint and requirement from their own perspective and standpoint. This would lead to different viewpoint requirement, moreover, the participants may use different techniques and notations to model requirement. Therefore, it is necessary to establish requirement modeling based on different custom views to achieve a high quality and trusted requirement model of the complex system.The software behavior in the actual execut process determines whether the software satisfys the requirement of the customs. Besides, software characteristic such as trusted characteristic can also be verifed through software behaviors. However, the software product have not been completed, so it is difficult to verify the software characteristics. It is practical and crucial to establish accurate requirement model based on software behaviors.In this thesis, we hope that our work contribute to resolve these issues. The research of this thesis consists of eight chapters, involves three parts:disscuss and analysis of the basic theory, research of the method and process of the modeling, research of requirement verification:In the first part, we discuss the position of requirement engineering and the significance of requirement modeling methods, summarize several formal methods of requirement modeling, analyze several typical multi-viewpoint requirement engineering methods.In the second part, we introduce the idea of muti-viewpoint requirement modeling and propose a behavior and viewpoint oriented requirement modeling method based on the software behavior. We provide the steps and principles in detail. Besides we propose a behavior description language(BDL) as the expression of the behavior model.In the third part, we proposed verification methods aim at static semantic and consistency separately. For static sematic, the correctness is verified through syntax checking and type checking, it concerns about domain independtent requirement correctness. For requirement consistency, we use equivalent behaviors to identify overlapping requirements, then construct dynamic type system for behavior model and use subtype rules to check the consistency of the requirement model between viewpoints.Futhermore, this thesis takes the "campus system" as the case study to demonstrate how to divide problem domains, how to identify viewpoints and how to establish behavior models, all these attest our method proposed in this thesis is effective and feasible.