Abstract. Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and learning but is a barrier to automated methods for test case generation, validation or simulation. This paper presents use case charts, a precise way of specifying use cases that aims to retain the benefits of easy understanding but also supports automated analysis. The graphical and abstract syntax of use case charts are given, along with a sketch of their formal semantics.
In REF , a graphical notation called "Use Case Charts" is proposed for use case specification.
Specifying precise use cases with use case charts
MoDELS Satellite Events. Volume 3844 of Lecture Notes in Computer Science
Computer Science