A semantics of sequence diagrams

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

doi:10.1016/S0020-0190(02)00270-3

A semantics of sequence diagrams

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

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	125-130
Number of pages	6
Journal	Information Processing Letters
Volume	84
Issue number	3
DOIs	https://doi.org/10.1016/S0020-0190(02)00270-3
Publication status	Published - 2002 Nov 15
Externally published	Yes

Bibliographical note

Funding Information:
✩ This work was supported by the Korea Science and Engineering Foundation (KOSEF) through the Advanced Information Technology Research Center (AITrc). * Corresponding author. E-mail address: [email protected] (S.M. Cho).

Keywords

Formal semantics
Sequence diagram
Specification languages
Temporal logic

ASJC Scopus subject areas

Theoretical Computer Science
Signal Processing
Information Systems
Computer Science Applications

Access to Document

10.1016/S0020-0190(02)00270-3

Cite this

@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 Cha, {Sung Deok} and Bae, {Doo Hwan}",

note = "Funding Information: ✩ This work was supported by the Korea Science and Engineering Foundation (KOSEF) through the Advanced Information Technology Research Center (AITrc). * Corresponding author. E-mail address: [email protected] (S.M. Cho).",

year = "2002",

month = nov,

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 B.V.",

number = "3",

}

TY - JOUR

T1 - A semantics of sequence diagrams

AU - Cho, Seung Mo

AU - Kim, Hyung Ho

AU - Cha, Sung Deok

AU - Bae, Doo Hwan

N1 - Funding Information: ✩ This work was supported by the Korea Science and Engineering Foundation (KOSEF) through the Advanced Information Technology Research Center (AITrc). * Corresponding author. E-mail address: [email protected] (S.M. Cho).

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

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

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

M3 - Article

AN - SCOPUS:0037110727

SN - 0020-0190

VL - 84

SP - 125

EP - 130

JO - Information Processing Letters

JF - Information Processing Letters

IS - 3

ER -

A semantics of sequence diagrams

Abstract

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this