FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE: Using Maude Rewriting Logic Language

Chafika Djaoui; Allaoua Chaoui

doi:10.7494/csci.2024.25.3.5964

Authors

Chafika Djaoui Assistant Professor at university of Jijel
Allaoua Chaoui University Constantine-2

DOI:

https://doi.org/10.7494/csci.2024.25.3.5964

Abstract

The visual modeling language UML embodies object-oriented design principles.
It provides a standard way to visualize the design of a system. It exploits a rich
set of well-defined graphical notations for creating abstract models. However,
the power of UML is lessened through partially specified formal semantics. Indeed, UML notations are semi-formal and do not lead to fully formalized and
executable semantics. Fortunately, UML diagrams are prone to early formalization. Formal methods are a valuable tool that can help overcome the UML
constructs’ shortage of firm semantics. It is a powerful way to ascribe precise semantics to the graphical notations used in UML diagrams and models.
Our work aims to support the semantics of the UML Interaction Overview Diagram. It introduces an approach to leveraging the strengths of the Maude
Rewriting Logic language as a formal specification language. The proposal relies on a model-driven engineering approach. It aims to automate the UML
Interaction Overview Diagram’s mapping to a Maude language specification.
The Maude language and its linked tools, including the Maude Model Checker,
are used to analyze and verify the resulting Maude specification. Finally, an
application example shows the feasibility and benefits of the proposed approach.

Downloads

Download data is not yet available.

References

- C. Djaoui, E. Kerkouche, A. Chaoui, and K. Khalfaoui, "A graph transformation approach to generate analysable Maude specifications from UML interaction overview diagrams, " Proc. IEEE International Conference on Information Reuse and Integration (IRI). IEEE, pp. 511–517, 2018.

- E. Kerkouche, K. Khalfaoui, and A. Chaoui, "A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach, " International Journal of Computer Aided Engineering and Technology, vol. 12, no. 2, pp. 237–262, 2020.