Sciweavers

IPL
2002
86views more  IPL 2002»
13 years 3 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 system...
Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwa...
SPLST
2003
13 years 5 months ago
How to Draw a Sequence Diagram
Abstract. In this paper, we consider the aesthetic criteria and constraints related to the layouts of UML sequence diagrams. We consider the applicability of the traditional graph ...
Timo Poranen, Erkki Mäkinen, Jyrki Nummenmaa
DAGSTUHL
2003
13 years 5 months ago
Partial Order Semantics of Sequence Diagrams for Mobility
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
Piotr Kosiuczenko
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
13 years 5 months ago
A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol
Abstract. In this paper we introduce an aspect language that can define crosscutting e
Roy Grønmo, Fredrik Sørensen, Birger...
APSEC
2009
IEEE
13 years 7 months ago
Sequence Diagram Slicing
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...
Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa, S...