A semantic and methodological essence of message sequence charts

DOI10.1016/J.SCICO.2004.04.003zbMATH Open1085.68011OpenAlexW1992681819MaRDI QIDQ703583FDOQ703583

Authors: Manfred Broy 

Publication date: 11 January 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.04.003

Recommendations

• Message sequence charts in the development process -- roles and limitations
• scientific article; zbMATH DE number 1307655
• scientific article; zbMATH DE number 1728525
• Lectures on Concurrency and Petri Nets
• The theory of message sequence charts

zbMATH Keywords

interactive distributed systems

Mathematics Subject Classification ID

Distributed systems (68M14) Network protocols (68M12)

Cited In (19)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Describing interactions between MSC components: The MSC connectors.
• MSCPDL -- a language for behavioural abstraction
• Title not available (Why is that?)
• Broadcast MSCs
• LSCs: Breathing life into message sequence charts
• Title not available (Why is that?)
• Multifunctional software systems: Structured modeling and specification of functional requirements
• Formal techniques for analysing scenarios using message sequence charts
• Lectures on Concurrency and Petri Nets
• QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Message sequence charts in the development process -- roles and limitations
• Realizability of high-level message sequence charts: closing the gaps
• Modelling a railway crossing with message sequence charts and Petri nets
• Title not available (Why is that?)

This page was built for publication: A semantic and methodological essence of message sequence charts

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