Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

IPL
2002

favoriteEmaildiscussreport

86views more IPL 2002»

A semantics of sequence diagrams

13 years 4 months ago

A semantics of sequence diagrams

Download salmosa.kaist.ac.kr

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. 2002 Elsevier Science B.V. All rights reserved.

Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwa

Real-time Traffic

Formal Semantics | Generic Feature | IPL 2002 | Sequence Diagram |

claim paper

Related Content

» A SemanticsBased Aspect Language for Interactions with the Arbitrary Events Symbol

» A Framework for Semantics of UML Sequence Diagrams in PVS

» SafetyLiveness Semantics for UML 20 Sequence Diagrams

» Why Timed Sequence Diagrams Require ThreeEvent Semantics

» Partial Order Semantics of Sequence Diagrams for Mobility

» Linking UML Models of Design and Requirement

» Assert and negate revisited modal semantics for UML sequence diagrams

» Object naming analysis for reverseengineered sequence diagrams

» Automatic Translation of UML Sequence Diagrams into PEPA Models

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	IPL
Authors	Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwan Bae

Comments (0)