9 search results - page 1 / 2 » Interpretation of UML Sequence Diagrams as Causality Flows |
ISSADS
2005
Springer
13 years 10 months ago
2005
Springer
ECMDAFA
2005
Springer
13 years 10 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
ROOM
2000
13 years 6 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
DAGSTUHL
2003
13 years 6 months 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...
ECMDAFA
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...