Message sequence charts in the development process -- roles and limitations

DOI10.1016/S1571-0661(04)80482-1MaRDI QIDQ2841315zbMATH OpenFDO

Authors Manfred Broy

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80482-1

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A semantic and methodological essence of message sequence charts
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 1307655
• MSCPDL -- a language for behavioural abstraction
• The theory of message sequence charts

Cites work

• A calculus of communicating systems
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 763725 (Why is no real title available?)
• Interpreting message flow graphs

Cited in

(8)

• Describing interactions between MSC components: The MSC connectors.
• Broadcast MSCs
• Implementation of the conformation of MSC and SDL diagrams in the REAL technology
• MSCPDL -- a language for behavioural abstraction
• 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?)
• A semantic and methodological essence of message sequence charts

This page was built for publication: Message sequence charts in the development process -- roles and limitations

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