User Settings
Open AccessArticle10.1016/j.procs.2015.07.261

A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation

Yasmina Rahmoune,Allaoua Chaoui,Elhillali Kerkouche-2015-01-01-Procedia Computer Science
17

TL;DRAbstract

Abstract The most important advantage of Model Driven Engineering (MDE) is making available tools, concepts and languages to create and transform models. In this paper, we propose a framework to transform automatically UML activity diagram 2.0 (informal notation) to Petri Nets (formal notation) for the analysis purpose using INA analyzer tool. This transformation helps the software designers to analyze and verify properties. For realizing this transformation, we have proposed a meta-model for UML-AD and another one for PN. Based on these meta-models, we define a graph grammar that performs the transformation process. AToM3 is used as a tool for meta-modeling and graph transformation. We verify the resulting Petri nets with model checker INA. We illustrate our contribution with a detailed example.

Chat with Paper

AI Agents for this Paper

Abstract The most important advantage of Model Driven Engineering (MDE) is making available tools, concepts and languages to create and transform models. In this paper, we propose a framework to transform automatically UML activity diagram 2.0 (informal notation) to Petri Nets (formal notation) for the analysis purpose using INA analyzer tool. This transformation helps the software designers to analyze and verify properties. For realizing this transformation, we have proposed a meta-model for UML-AD and another one for PN. Based on these meta-models, we define a graph grammar that performs the transformation process. AToM3 is used as a tool for meta-modeling and graph transformation. We verify the resulting Petri nets with model checker INA. We illustrate our contribution with a detailed example.

Keywords

Computer scienceUnified Modeling LanguageClass diagramGraphTransformation (genetics)Graph rewritingActivity diagramApplications of UML

Chat

Click to start Chat