INTEGRATING UML 2.0 ACTIVITY DIAGRAMS AND PI-CALCULUS FOR MODELING AND VERIFICATION OF SOFTWARE SYSTEMS USING TGG

INTEGRATING UML 2.0 ACTIVITY DIAGRAMS AND PI-CALCULUS FOR MODELING AND VERIFICATION OF SOFTWARE SYSTEMS USING TGG

This paper deals with modeling and verification of software systems by combining UML diagrams and Pi-calculus. UML 2.0 Activity diagrams are used for modeling the behavior of software systems, while Pi-calculus is used for semantic and verification purposes. More precisely, UML is a semi-formal lang...

Full description

Bibliographic Details
Main Authors: Raida Elmansouri, Said Meghzili, Allaoua Chaoui, Aissam Belghiat, Omar Hedjazi
Format: Article
Language:English
Published: Scientific Research Support Fund of Jordan (SRSF) and Princess Sumaya University for Technology (PSUT) 2020-12-01
Series:Jordanian Journal of Computers and Information Technology
Subjects:
model-driven engineering
tgg
xpand
uml activity diagrams
pi-calculus
model transformation
graph transformation
software systems
Online Access:https://jjcit.org/paper/111

Similar Items

Similar Items