A semantic and methodological essence of message sequence charts

DOI10.1016/J.SCICO.2004.04.003MaRDI QIDQ703583zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

interactive distributed systems

Mathematics Subject Classification ID

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

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

Cited in

(19)

• scientific article; zbMATH DE number 1980918 (Why is no real title available?)
• scientific article; zbMATH DE number 1701776 (Why is no real title available?)
• Describing interactions between MSC components: The MSC connectors.
• MSCPDL -- a language for behavioural abstraction
• scientific article; zbMATH DE number 1951542 (Why is no real title available?)
• Broadcast MSCs
• LSCs: Breathing life into message sequence charts
• scientific article; zbMATH DE number 2043461 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 1728507 (Why is no real title available?)
• scientific article; zbMATH DE number 1728508 (Why is no real title available?)
• scientific article; zbMATH DE number 1728519 (Why is no real title available?)
• Realizability of high-level message sequence charts: closing the gaps
• Message sequence charts in the development process -- roles and limitations
• Modelling a railway crossing with message sequence charts and Petri nets
• scientific article; zbMATH DE number 1956501 (Why is no real title available?)

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)