Transforming CCSL partially-ordered Traces into UML Interaction Diagrams

Kelly Garcés 1 Julien Deantoni 1 Frédéric Mallet 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The need for verification and debugging of critical temporal constraints in embedded systems comes out at different stages of development. In the specification step, static and dynamic views of the system are established and simulations are performed. In the implementation step, code may be instrumented with the purpose of collecting traces as the system executes in a target platform. In the same fashion as system executions, simulations produce traces that are later on analyzed by means of textual scripts. Instead of intricate scripts, we believe that the use of visual artifacts such as UML interaction diagrams (i.e., sequence and timing diagrams) can ease the comprehension of system behavior. In this report, we propose partial orderings (which order the events reported in traces in a temporal and causal way) as a pivot to go toward interaction diagrams straightforwardly. Mappings between partial orderings and UML interaction diagrams are implemented as transformations. We illustrate our approach with a prototype and an example.
Type de document :
Rapport
INRIA. 2011
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00652987
Contributeur : Team Kairos <>
Soumis le : vendredi 16 décembre 2011 - 16:58:25
Dernière modification le : lundi 5 novembre 2018 - 15:36:03
Document(s) archivé(s) le : samedi 17 mars 2012 - 02:41:49

Fichier

RR-7842.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00652987, version 1

Citation

Kelly Garcés, Julien Deantoni, Frédéric Mallet. Transforming CCSL partially-ordered Traces into UML Interaction Diagrams. INRIA. 2011. 〈hal-00652987〉

Partager

Métriques

Consultations de la notice

388

Téléchargements de fichiers

170