Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams

Aymen Louati, Chadlia Jerad, Kamel Barkaoui

Thanks to its graphical notation and simplicity, Unified Modeling Language (UML) is a de facto standard and a widespread language used in both industry and academia, despite the fa…