361 search results - page 1 / 73 » A compositional approach to statecharts semantics |
ASE
2006
13 years 5 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
SIGSOFT
2000
ACM
13 years 9 months ago
2000
ACM
UML
2005
Springer
13 years 10 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...
IASTEDSE
2004
13 years 6 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
ROOM
2000
13 years 6 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...