Revisiting Semantics of Interactions for Trace Validity Analysis

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 communi...

Descripción completa

Detalles Bibliográficos
Autores principales: Mahe, Erwan, Gaston, Christophe, Gall, Pascale Le
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7418117/
http://dx.doi.org/10.1007/978-3-030-45234-6_24
_version_ 1783569628857892864
author Mahe, Erwan
Gaston, Christophe
Gall, Pascale Le
author_facet Mahe, Erwan
Gaston, Christophe
Gall, Pascale Le
author_sort Mahe, Erwan
collection PubMed
description 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.
format Online
Article
Text
id pubmed-7418117
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-74181172020-08-11 Revisiting Semantics of Interactions for Trace Validity Analysis Mahe, Erwan Gaston, Christophe Gall, Pascale Le Fundamental Approaches to Software Engineering Article 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. 2020-03-13 /pmc/articles/PMC7418117/ http://dx.doi.org/10.1007/978-3-030-45234-6_24 Text en © The Author(s) 2020 Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
spellingShingle Article
Mahe, Erwan
Gaston, Christophe
Gall, Pascale Le
Revisiting Semantics of Interactions for Trace Validity Analysis
title Revisiting Semantics of Interactions for Trace Validity Analysis
title_full Revisiting Semantics of Interactions for Trace Validity Analysis
title_fullStr Revisiting Semantics of Interactions for Trace Validity Analysis
title_full_unstemmed Revisiting Semantics of Interactions for Trace Validity Analysis
title_short Revisiting Semantics of Interactions for Trace Validity Analysis
title_sort revisiting semantics of interactions for trace validity analysis
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7418117/
http://dx.doi.org/10.1007/978-3-030-45234-6_24
work_keys_str_mv AT maheerwan revisitingsemanticsofinteractionsfortracevalidityanalysis
AT gastonchristophe revisitingsemanticsofinteractionsfortracevalidityanalysis
AT gallpascalele revisitingsemanticsofinteractionsfortracevalidityanalysis

Ejemplares similares