Sciweavers

Share
IPL
2002

A semantics of sequence diagrams

8 years 5 months ago
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. 2002 Elsevier Science B.V. All rights reserved.
Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwa
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)
books