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