Revisiting Semantics of Interactions for Trace Validity Analysis

DOI10.1007/978-3-030-45234-6_24MaRDI QIDQ5039546zbMATH OpenOpenAlexFDO

Authors Erwan Mahe, Christophe Gaston, Pascale Le Gall

Publication date 13 October 2022

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

causal orderinteraction languagescenariosemanticssequence diagramtrace analysis

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A compositional trace logic for behavioural interface specifications
• scientific article; zbMATH DE number 3846840
• On the suitability of trace semantics for modular proofs of communicating processes
• Trace semantics via generic observations
• Trace analysis using an event-driven interval temporal logic
• Trace semantics via determinization
• Trace semantics via determinization
• scientific article; zbMATH DE number 1964951
• Verification of compliance for multilevel models in individual trace semantics

Cites work

• A hierarchy of communication models for message sequence charts
• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• LSCs: Breathing life into message sequence charts
• UML interactions meet state machines -- an institutional approach
• Uppaal in a nutshell

Cited in

(2)

• Trace- and failure-based semantics for responsiveness
• Interaction-based offline runtime verification of distributed systems

Describes a project that uses

Uses Software

• Uppaal

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039546)