Article
Journal :
International Journal of Computer Aided Engineering and Technology
ISSN : 1757-2657
Publisher :
Information
Period : April 2020
Volume : 12 Number : 2
Pages : 237-262
Details
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach
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 AToM3 tool and it is illustrated through an example.
Key words :
UML activity diagrams Rewriting logic Maude language AToM3 Meta-modelling Graph grammars Graph transformation.
Ref. laboratory citation :
misc-lab-270
DOI :
10.1504/IJCAET.2020.105578
Link :
Texte intégral
ACM :
E. Kerkouche, K. Khalfaoui and A. Chaoui. 2020. A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. International Journal of Computer Aided Engineering and Technology, 12, 2 (April 2020), Inderscience, 237-262. DOI: https://doi.org/10.1504/IJCAET.2020.105578.
APA :
Kerkouche, E., Khalfaoui, K. & Chaoui, A. (2020, April). A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach. International Journal of Computer Aided Engineering and Technology, 12(2), Inderscience, 237-262. DOI: https://doi.org/10.1504/IJCAET.2020.105578
IEEE :
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, Inderscience, pp. 237-262, April, 2020. DOI: https://doi.org/10.1504/IJCAET.2020.105578.
BibTeX :
@article{misc-lab-270,
author = {Kerkouche, Elhillali and Khalfaoui, Khaled and Chaoui, Allaoua},
title = {A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach},
journal = {International Journal of Computer Aided Engineering and Technology},
volume = {12},
number = {2},
issn = {1757-2657},
pages = {237--262},
publisher = {Inderscience},
year = {2020},
month = {April},
doi = {10.1504/IJCAET.2020.105578},
url = {https://www.inderscience.com/info/inarticle.php?artid=105578},
keywords = {UML activity diagrams, rewriting logic, Maude language, AToM3, meta-modelling, graph grammars, graph transformation.}
}
RIS :
TI  - A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach
AU - E. Kerkouche
AU - K. Khalfaoui
AU - A. Chaoui
PY - 2020
SN - 1757-2657
JO - International Journal of Computer Aided Engineering and Technology
VL - 12
IS - 2
SP - 237
EP - 262
PB - Inderscience
AB - 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 AToM3 tool and it is illustrated through an example.
KW - UML activity diagrams
KW - rewriting logic
KW - Maude language
KW - AToM3
KW - meta-modelling
KW - graph grammars
KW - graph transformation.
DO - 10.1504/IJCAET.2020.105578
UR - https://www.inderscience.com/info/inarticle.php?artid=105578
ID - misc-lab-270
ER -