Sciweavers

Share
914 search results - page 1 / 183
» A semantics of sequence diagrams
Sort
View
IPL
2002
86views more  IPL 2002»
8 years 7 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...
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
8 years 9 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...
JUCS
2002
146views more  JUCS 2002»
8 years 7 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
ACSD
2005
IEEE
124views Hardware» more  ACSD 2005»
9 years 27 days ago
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
Radu Grosu, Scott A. Smolka
DAGSTUHL
2003
8 years 8 months ago
Why Timed Sequence Diagrams Require Three-Event Semantics
STAIRS is an approach to the compositional development of sequence diagrams supporting the speciļ¬cation of mandatory as well as potential behavior. In order to express the necess...
Øystein Haugen, Knut Eilif Husa, Ragnhild K...
books