26 search results - page 2 / 6 » A UML statecharts semantics with message-passing |
HASE
1999
IEEE
13 years 9 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
UML
2005
Springer
13 years 11 months ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
GC
2004
Springer
13 years 11 months ago
2004
Springer
In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statechar...
SAC
2002
ACM
13 years 5 months ago
2002
ACM
FASE
2001
Springer
13 years 10 months ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...