Using Antipatterns to Verify Use Case Models


This work describes a set of use case modeling antipatterns. These antipatterns are used to devise a new software inspection technique for verifying the correctness and completeness of use case models. While the concept of antipatterns can be used to inspect any type of UML models, our current research focuses on inspecting use case models. The reason is that in a use case driven development process, finding a defect in a use case model reaps the most benefit in terms of time, effort and money saved as well as producing a higher quality software product.

The following is a detailed investigation of this topic: Antipatterns Analysis of Use Case Models

 

 

Tool Support:

 

Here is an overview of the tool ARBIUM that was designed to help semi-automate the verification process

 

Case Studies:

Complete analysis of the use case models of four real-world systems: