Sciweavers

35 search results - page 2 / 7
» Semantics of interactions in UML 2.0
Sort
View
ASM
2000
ASM
13 years 10 months ago
Modeling the Dynamics of UML State Machines
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
Egon Börger, Alessandra Cavarra, Elvinia Ricc...
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
13 years 7 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...
UML
2000
Springer
13 years 9 months ago
Towards a UML profile for interaction design: the Wisdom approach
The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it's support for building interactive systems is still acknowledged ...
Nuno Jardim Nunes, João Falcão e Cun...
ASWEC
2004
IEEE
13 years 9 months ago
Linking UML Models of Design and Requirement
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...
Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li
ER
2001
Springer
163views Database» more  ER 2001»
13 years 10 months ago
Towards Ontologically Based Semantics for UML Constructs
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
Joerg Evermann, Yair Wand