A semantics of sequence diagrams

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
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(저널논문)
  • Hit : 270
  • Download : 19
  • Cited 0 times in thomson ci
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡClick to seewebofscience_button
⊙ Cited 7 items in WoSClick to see citing articles inrecords_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0