Research And Application Of Formal Method On Scenairo-based Aspect-Oriented Requirement Engineeirng

Aspect-Oriented Requirement Engineering (AORE) is a new approach ofimproving modularity in the requirements which make it possible to begin tacklingthe problem of tangling, scattering of the requirement as early as in requirementanalysis phrase and hence help discover crosscutting concerns in requirement phaseand improve the degree of separation of concerns. The method of Scenario-BasedAspect-Oriented Requirement Engineering has two problems：first，it can onlyidentify the coarse-grained non-functional crosscutting concerns.Second, Using UMLmodeling, not accurate description and validation of the model.Through the improvement of Non-Functional Requirements framework (NFRFramework), with the SMA combine to form a new aspect-oriented requirementsengineering method-NFR-SMA method. NFR-SMA to make up for the SMA methodcan only identify the coarse-grained non-functional crosscutting concerns inadequate,this method can not only accurately identify functional crosscutting concerns, andidentify particles on non-functional crosscutting concerns smaller, from requirementsphase to design phase smoothing excessive. Secondly, the class diagram and statediagram of the UML model diagram formal description is given both to the Statute ofthe B-method in the form of the conversion method. The formal description of UMLclass diagrams and state diagrams, can compensate for the deficiencies of UMLprecise semantics, consistency check and correctness of the analysis of SMA method.