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 [Internet]. 2024 Oct. 3 [cited 2025 Apr. 17];25(3). Available from: https://journals.agh.edu.pl/csci/article/view/5964