20 search results - page 1 / 4 » Safety-Liveness Semantics for UML 2.0 Sequence Diagrams |
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...
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...
ASWEC
2004
IEEE
14 years 2 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
14 years 17 days ago
2008
Springer
Abstract. In this paper we introduce an aspect language that can define crosscutting e
QEST
2008
IEEE
14 years 5 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...