Checking MSC specifications for timing inconsistency

DOI10.1007/BF02949824MaRDI QIDQ1599639zbMATH OpenOpenAlexFDO

Authors Xuandong Li, Wenkai Tan, Guoliang Zheng

Publication date 5 June 2002

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

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

zbMATH Keywords

model checkingmessage sequence chart

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Time consistency of MSC-2000 specifications.
• An algorithm for checking the time consistency of message sequence charts
• Semantics of timed message sequence charts
• Adding time to scenarios
• scientific article; zbMATH DE number 1760052

Cites work

• scientific article; zbMATH DE number 763725 (Why is no real title available?)
• Interpreting message flow graphs
• Realizability and verification of MSC graphs

Cited in

(5)

• Time consistency of MSC-2000 specifications.
• An algorithm for checking the time consistency of message sequence charts
• Semantics of timed message sequence charts
• Quantifying the Discord: Order Discrepancies in Message Sequence Charts
• scientific article; zbMATH DE number 2043470 (Why is no real title available?)

This page was built for publication: Checking MSC specifications for timing inconsistency

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