Formalisation des diagrammes états-transitions UML concurrents

Résumé : Nous présentons dans ce travail une extension de la transformation des diagrammes états-transitions vers les réseaux de Petri colorés ((André et al., 2012)) au cas concurrent. Cette extension est complétée par une implémentation à l'aide de l'outil Acceleo.
Type de document :
Document associé à des manifestations scientifiques
MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France
Liste complète des métadonnées

https://hal.inria.fr/hal-00876643
Contributeur : Hervé Marchand <>
Soumis le : vendredi 25 octobre 2013 - 11:41:37
Dernière modification le : jeudi 11 janvier 2018 - 06:17:31
Document(s) archivé(s) le : lundi 27 janvier 2014 - 12:55:17

Identifiants

  • HAL Id : hal-00876643, version 1

Collections

Citation

Etienne André, Mohamed Mahdi Benmoussa, Christine Choppy. Formalisation des diagrammes états-transitions UML concurrents. MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. 〈hal-00876643〉

Partager

Métriques

Consultations de la notice

333

Téléchargements de fichiers

815