A Prototyping Technique to Verify Requirements

Abstract

This article proposes a prototyping technique to verify requirements. The technique is composed of a model to represent requirements and an executable language to create prototypes based on requirements. The requirement model is composed of use case diagram, activity diagram, and class diagram. The language models those diagrams as a prototype, which can be executed to verify requirements before they are modeled into a specification. Since requirement errors will propagate to the corresponding specification, correcting requirement errors reduces possible specification errors.