Techreport

Information

Details

Transformation Rules of UML Activity Diagrams to Pi-calculus Using TGG

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.

Model-Driven Engineering
TGG
Xpand
UML activity diagrams
Pi-calculus
Model Transformation
Graph Transformation
Software Systems

misc-lab-361

Texte intégral

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