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

Elhillali Kerkouche, Khaled Khalfaoui, Allaoua Chaoui. A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. IJCAET, 12(2):237-262, 2020. [doi]

Abstract

Abstract is missing.