Validation Support Tool to Cross-check the Behavioral Flows on a Requirements Analysis Model using the State Transition Model

We propose a method to evaluate and improve the validity of the 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, and automatically compared with the state transition model created by an evaluator different from the analyst from the same initial requirement. The identified inconsistencies are fed back to the analyst to improve the required specifications. We developed a tool for extraction and comparison, and discuss the effectiveness by applying the method to an example requirements specification.