A semantics of sequence diagrams.

DOI10.1016/S0020-0190(02)00270-3MaRDI QIDQ1853122zbMATH OpenOpenAlexFDO

Authors Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha, Doo-Hwan Bae

Publication date 21 January 2003

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0190(02)00270-3

zbMATH Keywords

Formal semanticsSequence diagramSpecification languagesTemporal logic

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Branching Time Semantics for UML 2.0 Sequence Diagrams
• Algebraic Methodology and Software Technology
• Modelling concurrent interactions
• On the semantics of unified modeling language diagrams using Z notation
• scientific article; zbMATH DE number 1860616

Cites work

• scientific article; zbMATH DE number 1686270 (Why is no real title available?)
• Interpreting message flow graphs

Cited in

(10)

• A formal semantics of data flow diagrams
• Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
• Stepwise refinement of sequence diagrams with soft real-time constraints
• Ordering actions in sequence diagrams of UML
• Ring embedding in faulty generalized honeycomb torus -- GHT(m, n, n/2)
• Branching Time Semantics for UML 2.0 Sequence Diagrams
• scientific article; zbMATH DE number 139975 (Why is no real title available?)
• scientific article; zbMATH DE number 2006496 (Why is no real title available?)
• Embedding even-length cycles in a hexagonal honeycomb mesh
• On the freeze quantifier in Constraint LTL: Decidability and complexity

This page was built for publication: A semantics of sequence diagrams.

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