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

fYear

2011

fDate

Nov. 29 2011-Dec. 1 2011

Firstpage

87

Lastpage

93

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Innovation in Information & Communication Technology (ISIICT), 2011 Fourth International Symposium on

Conference_Location

Amman

Print_ISBN

978-1-61284-672-9

Type

conf

DOI

10.1109/ISIICT.2011.6149602

Filename

6149602