Djaoui C, Chaoui A. FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE: Using Maude Rewriting Logic Language. csci. 2024;25(3). doi:10.7494/csci.2024.25.3.5964