𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A semantics of sequence diagrams

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

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
91 KB
Volume
84
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

✦ Synopsis

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.

πŸ“œ SIMILAR VOLUMES

On the semantics of unified modeling lan
On the semantics of unified modeling language diagrams using Z notation
✍ Ekawit Nantajeewarawat; Ratanachai Sombatsrisomboon πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 142 KB

As a step toward the precise semantics of Unified Modeling Language (UML), this article uses the Z notation to develop formal specifications for two important parts of UML, i.e., class diagrams and sequence diagrams, and to formulate an appropriate interpretation structure for discussing the model t

A type-theoretic semantics of arrays
A type-theoretic semantics of arrays
✍ Carl McCrosky; Diptendu Dutta πŸ“‚ Article πŸ“… 1990 πŸ› Elsevier Science 🌐 English βš– 398 KB
Operational Semantics of a Focusing Debu
Operational Semantics of a Focusing Debugger
✍ Karen L. Bernstein; Eugene W. Stark πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 737 KB

This paper explores two main ideas: (1) a debugger for a programming language ought t o h a ve a formal semantic de nition that is closely allied to the formal definition of the language itself and (2) a debugger for very high level programming language ought to provide support for exposing hidden i