Title :
From UML statecharts diagrams to labeled Generalized Stochastic Petri Net models using graph transformation
Author :
Bouarioua, Mouna ; Chaoui, Allaoua ; Elmansouri, Raida
Author_Institution :
Dept. of Comput. Sci., Univ. Mentouri, Constantine, Algeria
fDate :
Nov. 29 2011-Dec. 1 2011
Abstract :
This paper presents an approach for transforming UML Statecharts to General Stochastics Petri Nets. Unified Modelling Language (UML) is considered to be the standarditized language for modelling and describing systems behaviours for analysis. In other hand, Petri Net models are tools for the performance analysis of distributed systems. Graph grammars aims to bridge the gap between semi formal models generated by UML and formal notation as LGSPN models by means of transformations. Since the models wihch are concerned by this transformation are both graphs, we use Java based graph transformation and Eclipse tool to perform this process automatically.
Keywords :
Java; Petri nets; Unified Modeling Language; distributed processing; graph grammars; stochastic processes; Eclipse tool; Java based graph transformation; UML statecharts diagrams; Unified Modelling Language; distributed systems; formal notation; graph grammars; labeled generalized stochastic Petri net models; Analytical models; Grammar; Java; Object oriented modeling; Petri nets; Stochastic processes; Unified modeling language; 0 Generalized Petri Net; Key words; LGSPN; Statecharts; UML; graph transformation;
Conference_Titel :
Innovation in Information & Communication Technology (ISIICT), 2011 Fourth International Symposium on
Conference_Location :
Amman
Print_ISBN :
978-1-61284-672-9
DOI :
10.1109/ISIICT.2011.6149602
