A semantics of sequence diagrams

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

Research output: Contribution to journalArticlepeer-review

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

  • Theoretical Computer Science
  • Signal Processing
  • Information Systems
  • Computer Science Applications


Dive into the research topics of 'A semantics of sequence diagrams'. Together they form a unique fingerprint.

Cite this