Sciweavers

18 search results - page 1 / 4
» On Mobility Extensions of UML Statecharts. A Pragmatic Appro...
Sort
View
FMOODS
2003
13 years 6 months ago
On Mobility Extensions of UML Statecharts. A Pragmatic Approach
In this paper an extension of a behavioural subset of UML Statecharts for modeling mobility issues is proposed. In this extension we relax the unique association between each State...
Diego Latella, Mieke Massink
UML
2001
Springer
13 years 9 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
ICSE
2004
IEEE-ACM
14 years 4 months ago
Runtime Verification of Statechart Implementations
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
Gergely Pintér, István Majzik
GC
2004
Springer
13 years 10 months ago
Mobile UML Statecharts with Localities
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...
Diego Latella, Mieke Massink, Hubert Baumeister, M...
UML
2005
Springer
13 years 10 months ago
Modeling Aspect-Oriented Compositions
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...
Thomas Cottenier, Aswin van den Berg, Tzilla Elrad