A semantics of sequence diagrams

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

Research output: Contribution to journalArticle

11 Citations (Scopus)

Abstract

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
Volume84
Issue number3
DOIs
Publication statusPublished - 2002 Nov 15
Externally publishedYes

Fingerprint

Diagram
Semantics
Temporal logic
Formal Semantics
Temporal Logic
Trace

Keywords

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

ASJC Scopus subject areas

  • Computational Theory and Mathematics

Cite this

A semantics of sequence diagrams. / Cho, Seung Mo; Kim, Hyung Ho; Cha, Sungdeok; Bae, Doo Hwan.

In: Information Processing Letters, Vol. 84, No. 3, 15.11.2002, p. 125-130.

Research output: Contribution to journalArticle

Cho, Seung Mo ; Kim, Hyung Ho ; Cha, Sungdeok ; Bae, Doo Hwan. / A semantics of sequence diagrams. In: Information Processing Letters. 2002 ; Vol. 84, No. 3. pp. 125-130.
@article{ac1a1835dbe0419dabafdd985fb5c1d0,
title = "A semantics of sequence diagrams",
abstract = "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.",
keywords = "Formal semantics, Sequence diagram, Specification languages, Temporal logic",
author = "Cho, {Seung Mo} and Kim, {Hyung Ho} and Sungdeok Cha and Bae, {Doo Hwan}",
year = "2002",
month = "11",
day = "15",
doi = "10.1016/S0020-0190(02)00270-3",
language = "English",
volume = "84",
pages = "125--130",
journal = "Information Processing Letters",
issn = "0020-0190",
publisher = "Elsevier",
number = "3",

}

TY - JOUR

T1 - A semantics of sequence diagrams

AU - Cho, Seung Mo

AU - Kim, Hyung Ho

AU - Cha, Sungdeok

AU - Bae, Doo Hwan

PY - 2002/11/15

Y1 - 2002/11/15

N2 - 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.

AB - 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.

KW - Formal semantics

KW - Sequence diagram

KW - Specification languages

KW - Temporal logic

UR - http://www.scopus.com/inward/record.url?scp=0037110727&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0037110727&partnerID=8YFLogxK

U2 - 10.1016/S0020-0190(02)00270-3

DO - 10.1016/S0020-0190(02)00270-3

M3 - Article

AN - SCOPUS:0037110727

VL - 84

SP - 125

EP - 130

JO - Information Processing Letters

JF - Information Processing Letters

SN - 0020-0190

IS - 3

ER -