Abstract
In this paper we present semantic profiles for UML 2 state machines, which are based directly upon the structure of a state machine model, without requiring flattening or other transformations on these models. The approach addresses many of the semantic problems identified for state machines, and provides a basis for semantic analysis and proof of behavioural compatibility between state machines.
| Original language | English |
|---|---|
| Pages (from-to) | 35 - 51 |
| Number of pages | 17 |
| Journal | Journal of Object Technology |
| Volume | 6 |
| Issue number | 9 |
| Publication status | Published - Oct 2007 |