R. Elmansouri, S. Meghzili, A. Chaoui, A. Belghiat and O. Hedjazi. 2020. Transformation  Rules of UML Activity  Diagrams  to  Pi-calculus  Using  TGG (October 2020). https://drive.google.com/file/d/1f1EeK8FW_Bs6q4F2MjBzKdXY7G4fe7y7/view?usp=sharing.

Elmansouri, R., Meghzili, S., Chaoui, A., Belghiat, A. & Hedjazi, O. (2020, October). Transformation  Rules of UML Activity  Diagrams  to  Pi-calculus  Using  TGG.Retrieved from https://drive.google.com/file/d/1f1EeK8FW_Bs6q4F2MjBzKdXY7G4fe7y7/view?usp=sharing

R. Elmansouri, S. Meghzili, A. Chaoui, A. Belghiat and O. Hedjazi, "Transformation  Rules of UML Activity  Diagrams  to  Pi-calculus  Using  TGG", October, 2020, https://drive.google.com/file/d/1f1EeK8FW_Bs6q4F2MjBzKdXY7G4fe7y7/view?usp=sharing.

@techreport{misc-lab-361,
author = {Elmansouri, Raida and Meghzili, Said and Chaoui, Allaoua and Belghiat, Aissam and Hedjazi, Omar},
title = {Transformation  Rules of UML Activity  Diagrams  to  Pi-calculus  Using  TGG},
institution = {MFGL Team, MISC Laboratory},
year = {2020},
month = {October},
url = {https://drive.google.com/file/d/1f1EeK8FW\_Bs6q4F2MjBzKdXY7G4fe7y7/view?usp=sharing},
keywords = {Model-Driven Engineering, TGG, Xpand, UML activity diagrams, Pi-calculus, Model Transformation, Graph Transformation, Software Systems}
}

TY  - RPRT
TI  - Transformation  Rules of UML Activity  Diagrams  to  Pi-calculus  Using  TGG
AU  - R. Elmansouri
AU  - S. Meghzili
AU  - A. Chaoui
AU  - A. Belghiat
AU  - O. Hedjazi
PY  - 2020
AB  - This paper proposes to combine UML 2.0 Activity and Pi-Calculus for the modeling and the verification of software systems. UML 2.0 Activity diagrams are used for modeling the behavior of software systems while the Pi-Calculus is used for semantic and verification purposes. More precisely, UML is a semi-formal language and so it needs formal semantics for its constructs and lacks for tools for verifying properties. To this end, we propose an approach and a tool for transforming UML 2.0 Activity diagrams to Pi-Calculus processes using Eclipse Xpand and TGG tools. The obtained Pi-Calculus processes are then used as input for Pi-Calculus tools like MWB to verify some properties such as deadlocks, safety, etc ... We illustrate our approach through an example from the literature. The main contribution of this paper consists of the automation of the transformation approach using TGG tools.
KW  - Model-Driven Engineering
KW  - TGG
KW  - Xpand
KW  - UML activity diagrams
KW  - Pi-calculus
KW  - Model Transformation
KW  - Graph Transformation
KW  - Software Systems
UR  - https://drive.google.com/file/d/1f1EeK8FW_Bs6q4F2MjBzKdXY7G4fe7y7/view?usp=sharing
ID  - misc-lab-361
ER  -