Une Approche de Transformation des Diagrammes d’Activités d’UML Mobile 2.0 vers les Réseaux de Petri. Magister thesis,(2011) Université de Batna 2.
| dc.contributor.author | GUERROUF FAYÇAL | |
| dc.date.accessioned | 2023-02-15T09:16:37Z | |
| dc.date.available | 2023-02-15T09:16:37Z | |
| dc.date.issued | 2016-08-01 | |
| dc.description.abstract | Les agents mobiles jouent un rôle important dans divers domaines. Cependant l’exactitude de leur modélisation influe sur la performance des systèmes où ils sont utilisés. Dans cette étude, nous avons proposé une nouvelle approche, permettant la modélisation des agents mobiles avec le formalisme de diagramme d’activités mobile. Ils sont compréhensible et facile mais souffre d’un manque de sémantique formelle, cependant ils ne permettent pas l’analyse et la vérification. Une grammaire de graphe généré avec l’outil AToM3 permet la transformation automatique des diagrammes d’activités mobiles vers leurs équivalents des réseaux de Petri imbriqués, ces derniers peuvent être utilisés comme base pour une éventuelle vérification et analyse | |
| dc.identifier.uri | http://dspace.univ-batna2.dz/handle/123456789/121 | |
| dc.language.iso | fr | |
| dc.title | Une Approche de Transformation des Diagrammes d’Activités d’UML Mobile 2.0 vers les Réseaux de Petri. Magister thesis,(2011) Université de Batna 2. |