Skip to Main content Skip to Navigation
New interface
Documents associated with scientific events

Formalisation des diagrammes états-transitions UML concurrents

Abstract : We present in this work an extension of the transformation of state machines diagrams to colored Petri nets in the case of concurrency. This extension is completed with an implementation using Acceleo tool.
Document type :
Documents associated with scientific events
Complete list of metadata

https://hal.inria.fr/hal-00876643
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Friday, October 25, 2013 - 11:41:37 AM
Last modification on : Saturday, June 25, 2022 - 8:53:51 PM
Long-term archiving on: : Monday, January 27, 2014 - 12:55:17 PM

Files

Identifiers

  • HAL Id : hal-00876643, version 1

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⟩

Share

Metrics

Record views

212

Files downloads

663