Transformation automatique du diagramme de classes d' UML Vers les Réseaux de pètri ( cas du processus de production)
| dc.contributor.author | BENADEL, OUSSAMA | |
| dc.contributor.author | Dirigé: MELIOUH, AMEL | |
| dc.date.accessioned | 2023-05-14T13:29:28Z | |
| dc.date.available | 2023-05-14T13:29:28Z | |
| dc.date.issued | 2011-06-10 | |
| dc.description.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. | en_US |
| dc.identifier.uri | https://depot.univ-msila.dz/handle/123456789/38088 | |
| dc.language.iso | fr | en_US |
| dc.publisher | University of M'sila | en_US |
| dc.subject | UML, Petri net, transformationgrammar, ATOM3. | en_US |
| dc.title | Transformation automatique du diagramme de classes d' UML Vers les Réseaux de pètri ( cas du processus de production) | en_US |
| dc.type | Thesis | en_US |