Revisiting Semantics of Interactions for Trace Validity Analysis

DOI10.1007/978-3-030-45234-6_24OpenAlexW3018492106MaRDI QIDQ5039546

Erwan Mahe, Christophe Gaston, Pascale Le Gall

Publication date: 13 October 2022

Published in: Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1911.03094

zbMATH Keywords

semanticsscenariocausal ordertrace analysissequence diagraminteraction language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Uses Software

• Uppaal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A hierarchy of communication models for message sequence charts
• Uppaal in a nutshell
• LSCs: Breathing life into message sequence charts

This page was built for publication: Revisiting Semantics of Interactions for Trace Validity Analysis