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.
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 -