TY - JOUR AU - Klimek, Radosław AU - Szwed, Piotr PY - 2013/03/15 Y2 - 2024/03/28 TI - FORMAL ANALYSIS OF USE CASE DIAGRAMS JF - Computer Science JA - csci VL - 11 IS - 0 SE - Articles DO - 10.7494/csci.2010.11.0.115 UR - https://journals.agh.edu.pl/csci/article/view/117 SP - 115 AB - Use case diagrams play an important role in modeling with UML. Careful modeling is crucialin obtaining a correct and efficient system architecture. The paper refers to the formalanalysis of the use case diagrams. A formal model of use cases is proposed and its constructionfor typical relationships between use cases is described. Two methods of formal analysis andverification are presented. The first one based on a states’ exploration represents a modelchecking approach. The second one refers to the symbolic reasoning using formal methodsof temporal logic. Simple but representative example of the use case scenario verification isdiscussed. ER -