Djaoui, Chafika, and Allaoua Chaoui. “Formalization and Analysis of Uml 2.0 Interaction Overview Diagram Using Maude Rewriting Logic Language: Using Maude Rewriting Logic Language”. Computer Science, vol. 25, no. 3, Oct. 2024, https://doi.org/10.7494/csci.2024.25.3.5964.