Title: A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach

Authors: Elhillali Kerkouche; Khaled Khalfaoui; Allaoua Chaoui

Addresses: Department of Computer Science, Mohamed Seddik Ben Yahia University, Jijel, Algeria; MISC Laboratory, Abdelhamid Mehri University, Constantine 2, Algeria ' Department of Computer Science, Mohamed Seddik Ben Yahia University, Jijel, Algeria; MISC Laboratory, Abdelhamid Mehri University, Constantine 2, Algeria ' MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, Abdelhamid Mehri University, Constantine 2, Algeria

Abstract: Activity diagrams are UML behaviour diagrams which describe global dynamic behaviours of systems in a user-friendly manner. Nevertheless, UML notations lack firm semantics which make them unsuitable for formal analysis. Formal methods are suitable techniques for systems analysis. Rewriting logic and its language Maude provides a powerful formal method with flexible and expressive semantics for the specification and the analysis of systems behaviour. However, the learning cost of these methods is very high. The aim of this paper is to integrate UML with formal notation in order to make the UML semantics more precise which allow rigorous analysis of its models. In this paper, we propose a graph transformation-based approach to generate automatically Maude specifications from UML activity diagrams. The proposed approach is automated using the AToM³ tool and it is illustrated through an example.

Keywords: UML activity diagrams; rewriting logic; Maude language; AToM³; meta-modelling; graph grammars; graph transformation.

DOI: 10.1504/IJCAET.2020.105578

International Journal of Computer Aided Engineering and Technology, 2020 Vol.12 No.2, pp.237 - 262

Received: 09 Jun 2017
Accepted: 06 Oct 2017
Published online: 05 Mar 2020 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article