A semantics of sequence diagrams.

DOI10.1016/S0020-0190(02)00270-3zbMath1042.68072OpenAlexW2004893931MaRDI QIDQ1853122

Hyung Ho Kim, Sung Deok Cha, Seung Mo Cho, 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 logicSpecification languagesFormal semanticsSequence diagram

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (3)

On the freeze quantifier in Constraint LTL: Decidability and complexity ⋮ Embedding even-length cycles in a hexagonal honeycomb mesh ⋮ Ring embedding in faulty generalized honeycomb torus – GHT(m, n, n/2)

Cites Work

• Interpreting message flow graphs
• Unnamed Item

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