Skip to Main content Skip to Navigation
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 <>
Submitted on : Friday, October 25, 2013 - 11:41:37 AM
Last modification on : Saturday, February 15, 2020 - 1:58:42 AM
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

423

Files downloads

1220