Transformation automatique du diagramme de classes d' UML Vers les Réseaux de pètri ( cas du processus de production)
Loading...
Date
2011-06-10
Journal Title
Journal ISSN
Volume Title
Publisher
University of M'sila
Abstract
UML is a visual,rich modeling language. It is used for modeling various systems,more preciselycomplex systems. Despite its success, UML suffersfrom the iack Qfability to audit and analysis. Many models can actually be checked in detail. However, Petri nets is a model that has a very solid theoretical basisfor verifying systems.
The proposedapproachaims to benefitfrom both formalisms, propiding a toolfor automatic transformation of UML class diagram to Petri nets.
The passage from UML 's diagrams towards Petri nets is carried out automatically, via a graph grammar by
means Ofa multi-formalisms tool ATOM3.
Thiswork will beapplied toaproduction processexanzple, that illustrates a chain ofpackaging products.
Description
Keywords
UML, Petri net, transformationgrammar, ATOM3.