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

Temporal logicFormal semanticsSpecification languagesSequence diagram

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)

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

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)