Message sequence charts

DOI10.1007/978-3-540-27755-2_15MaRDI QIDQ5712282zbMATH OpenOpenAlexFDO

Authors Blaise Genest, Anca Muscholl, Doron Peled

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98282

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Dynamic message sequence charts
• Compositional message sequence charts
• Causal message sequence charts
• Causal Message Sequence Charts
• The theory of message sequence charts
• Recognizable sets of message sequence charts

Cited in

(29)

• Broadcast MSCs
• Interpreting message flow graphs
• Implementation of the conformation of MSC and SDL diagrams in the REAL technology
• Multiparty half-duplex systems and synchronous communications
• Compositional message sequence charts
• Using message sequence charts to accelerate maintenance of existing systems
• From MSC-2000 to UML 2. 0 - the future of sequence diagrams
• Some pathological message sequence charts, and how to detect them
• Message sequence charts in the development process -- roles and limitations
• Specification and verification using message sequence charts
• Timed semantics of message sequence charts based on timed automata
• Quantitative analysis of communication scenarios
• Causal Message Sequence Charts
• QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS
• Adding time to scenarios
• scientific article; zbMATH DE number 1307655 (Why is no real title available?)
• The graphical format of TTCN-3 in the context of MSC and UML
• Capturing overlapping, triggered, and preemptive collaborations using MSCs
• The theory of message sequence charts
• Progress-preserving refinements of CTA
• Multiple synchrony in MSC
• Negotiations and Petri nets
• Programming Languages and Systems
• Communicating transaction processes: An MSC-based model of computation for reactive embedded systems
• Netcharts: bridging the gap between HMSCs and executable specifications.
• LSCs: Breathing life into message sequence charts
• A hierarchy of communication models for message sequence charts
• A semantic and methodological essence of message sequence charts
• Certified implementability of global multiparty protocols

This page was built for publication: Message sequence charts

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