An algorithm for checking the time consistency of message sequence charts

DOI10.1023/A:1022979502087MaRDI QIDQ1407080zbMATH OpenOpenAlexFDO

Authors A. B. Godlevskij, M. V. Lopatina, S. N. Svirgunenko

Publication date 9 September 2003

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1022979502087

zbMATH Keywords

linear programmingtime consistencyMSC languageraces in MSCsscenario of computations

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05)

Recommendations

• Time consistency of MSC-2000 specifications.
• Checking MSC specifications for timing inconsistency
• Scenario-Based Timing Consistency Checking for Time Petri Nets
• Semantics of timed message sequence charts
• scientific article; zbMATH DE number 1760052

Cited in

(3)

• Checking conformance for time-constrained scenario-based specifications
• Checking MSC specifications for timing inconsistency
• Time consistency of MSC-2000 specifications.

This page was built for publication: An algorithm for checking the time consistency of message sequence charts

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