wiki:news:07nov2012
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
wiki:news:07nov2012 [2012/12/06 21:30] – pmueller | wiki:news:07nov2012 [2012/12/06 21:49] – [New UML tool Modelio supported] pmueller | ||
---|---|---|---|
Line 7: | Line 7: | ||
A UML state may be divided into regions. Each region contains sub-states. Regions are executed in parallel. You can think of regions as independent state machines displayed in one diagram. The state machine below (Fig. 1) shows several regions each running in parallel in the state '' | A UML state may be divided into regions. Each region contains sub-states. Regions are executed in parallel. You can think of regions as independent state machines displayed in one diagram. The state machine below (Fig. 1) shows several regions each running in parallel in the state '' | ||
- | ==== Using multiple regions ==== | + | |
Consider a microwave oven. The power setting, light and microwave radiator are be considered as independent (concurrent) parts of the oven, each with its own states. The door and timer as the main external trigger are used in the regions to trigger state transitions. For example the radiator is switched on if the door gets closed and the timer is > zero. | Consider a microwave oven. The power setting, light and microwave radiator are be considered as independent (concurrent) parts of the oven, each with its own states. The door and timer as the main external trigger are used in the regions to trigger state transitions. For example the radiator is switched on if the door gets closed and the timer is > zero. | ||
Line 18: | Line 18: | ||
{{ : | {{ : | ||
Figure 1a: State machine model of a microwave oven using regions (created with UModel). | Figure 1a: State machine model of a microwave oven using regions (created with UModel). | ||
+ | |||
+ | ===== UML tool Modelio supported ===== | ||
+ | Modelio is an open source modeling environment based on Eclipse and providing high quality UML modeling capabilities. Commercial support is available too. The following figures show state diagrams created with Modelio. The tool runs on Linux and Windows. | ||
+ | |||
+ | {{ : | ||
+ | Model with parallel regions. | ||
+ | |||
+ | {{ : | ||
+ | Model with a sub-machine in state S2. | ||
+ | |||
+ | Supported state diagram features: | ||
+ | * Hierarchical states | ||
+ | * Regions (CX language backend only) | ||
+ | * Sub-machines in a top level state | ||
+ | * (Signal-)Events with event name, guard and action | ||
+ | * Initial and final pseudo-states | ||
+ | * History states | ||
+ | * Choices | ||
+ | |||
+ | For a quick start download the latest release version and import the microwave oven | ||
+ | into your Modelio workspace. | ||
+ | This new version is free for users who bought their license within the last two years. | ||
~~DISCUSSION|Leave your comments~~ | ~~DISCUSSION|Leave your comments~~ |
wiki/news/07nov2012.txt · Last modified: 2013/01/29 18:09 by pmueller