Sunday, July 25, 2021

VALIDATION METHOD TO IMPROVE BEHAVIORAL FLOWS ON UML REQUIREMENTS ANALYSIS MODEL BY CROSSCHECKING WITH STATE TRANSITION MODEL

Author :  Hikaru Morita

Affiliation :  Shibaura Institute of Technology

Country :  Japan

Category :  Computer Science & Information Technology

Volume, Issue, Month, Year :  11, 02, February, 2021

Abstract :

We propose a method to evaluate and improve the validity of required specifications by comparing models from different viewpoints. Inconsistencies are automatically extracted from the model in which the analyst defines the service procedure based on the initial requirement; thereafter, the analyst automatically compares it with a state transition model from the same initial requirement that has been created by an evaluator who is different from the analyst. The identified inconsistencies are reported to the analyst to enable the improvement of the required specifications. We develop a tool for extraction and comparison and then discuss its effectiveness by applying the method to a requirements specification example.

Keyword :  Requirements Specification, UML Modeling, Validation, Behavior Model.

For More Detailshttps://aircconline.com/csit/papers/vol11/csit110201.pdf

No comments:

Post a Comment