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)

Review text

We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving systems. This approach allows to facilitate the generic feature of sequence diagrams as well as an automatic analysis, the identification of the instances of a sequence diagram over a trace.

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)