Revisiting semantics of interactions for trace validity analysis - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Article Dans Une Revue Lecture Notes in Computer Science Année : 2020

Revisiting semantics of interactions for trace validity analysis

Résumé

Interaction languages such as MSC are often associated with formal semantics by means of translations into distinct behavioral formalisms such as automatas or Petri nets. In contrast to translational approaches we propose an operational approach. Its principle is to identify which elementary communication actions can be immediately executed, and then to compute, for every such action, a new interaction representing the possible continuations to its execution. We also define an algorithm for checking the validity of execution traces (i.e. whether or not they belong to an interaction's semantics). Algorithms for semantic computation and trace validity are analyzed by means of experiments.
Fichier principal
Vignette du fichier
fase2020_hal_cea.pdf (825.71 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY - Paternité

Dates et versions

cea-04224596 , version 1 (02-10-2023)

Licence

Paternité

Identifiants

Citer

Erwan Mahe, Christophe Gaston, Pascale Le Gall. Revisiting semantics of interactions for trace validity analysis. Lecture Notes in Computer Science, 2020, 12076, pp.482-501. ⟨10.1007/978-3-030-45234-6_24⟩. ⟨cea-04224596⟩
14 Consultations
7 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More