20 search results - page 1 / 4 » Safety-Liveness Semantics for UML 2.0 Sequence Diagrams |
ACSD
2005
IEEE
13 years 10 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...
JUCS
2002
13 years 4 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...
ASWEC
2004
IEEE
13 years 8 months ago
2004
IEEE
In this paper, both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semant...
ECMDAFA
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. In this paper we introduce an aspect language that can define crosscutting e
QEST
2008
IEEE
13 years 11 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...