GUERROUF, Faycel (2011) Une Approche de Transformation des Diagrammes d’Activités d’UML Mobile 2.0 vers les Réseaux de Petri. Magister thesis, Université de Batna 2.
|
Text
Faycel GUERROUF.pdf Download (8MB) | Preview |
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.
| Item Type: | Thesis (Magister) |
|---|---|
| Uncontrolled Keywords: | UML, Diagramme d’Activité Mobile, Réseau de Petri Imbriqué, Méta-modélisation, Grammaire de Graphe, Transformation de Graphe, AToM3 |
| Subjects: | Informatique |
| Divisions: | Faculté des mathématiques et de l'informatique > Département d'informatique |
| Date Deposited: | 02 Aug 2016 08:33 |
| Last Modified: | 02 Aug 2016 08:33 |
| URI: | http://eprints.univ-batna2.dz/id/eprint/174 |
Actions (login required)
 |
View Item |
