A semantics of sequence diagrams

Cited 7 time in webofscience Cited 9 time in scopus
  • Hit : 320
  • Download : 30
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. (C) 2002 Elsevier Science B.V. All rights reserved.
Publisher
ELSEVIER SCIENCE BV
Issue Date
2002-11
Language
ENG
Article Type
Article
Citation

INFORMATION PROCESSING LETTERS, v.84, no.3, pp.125 - 130

ISSN
0020-0190
URI
http://hdl.handle.net/10203/16920
Appears in Collection
CS-Journal Papers(저널논문)
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 7 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0