A semantics of sequence diagrams

Seung Mo Cho, Hyung Ho Kim, Sungdeok Cha, Doo Hwan Bae

Research output: Contribution to journalArticle

11 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)125-130
Number of pages6
JournalInformation Processing Letters
Issue number3
Publication statusPublished - 2002 Nov 15
Externally publishedYes



  • Formal semantics
  • Sequence diagram
  • Specification languages
  • Temporal logic

ASJC Scopus subject areas

  • Computational Theory and Mathematics

Cite this