A semantics of sequence diagrams. (Q1853122)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A semantics of sequence diagrams. |
scientific article; zbMATH DE number 1856464
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A semantics of sequence diagrams. |
scientific article; zbMATH DE number 1856464 |
Statements
A semantics of sequence diagrams. (English)
0 references
21 January 2003
0 references
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.
0 references
Formal semantics
0 references
Specification languages
0 references
Sequence diagram
0 references
Temporal logic
0 references
