884 search results - page 1 / 177 » A semantics of sequence diagrams |
IPL
2002
13 years 10 months ago
2002
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...
ECMDAFA
2008
Springer
14 years 18 days ago
2008
Springer
Abstract. In this paper we introduce an aspect language that can define crosscutting e
JUCS
2002
13 years 10 months ago
2002
: 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...
ACSD
2005
IEEE
14 years 4 months ago
2005
IEEE
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...
DAGSTUHL
2003
14 years 7 days ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...