Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
modelingtab [2018/08/21 23:54] admin |
— (current) | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ===== Model Editor ===== | ||
- | //Model Editor// is a graphical modeling tool that allows users to model //AUT// using //states// and // | ||
- | //Model Editor// supports two model notation: State Diagram (or Extended Finite State Machine - EFSM) and Activity Diagram (or Control Flow Graph - CFG) (Rel. 4.2). This wiki page assumes State Diagram notation is used. | ||
- | |||
- | {{http:// | ||
- | |||
- | ---- | ||
- | ==== Editor Overview ==== | ||
- | //Model Editor// header displays the model name and its path on the left and a set of buttons giving you quick access to the editor features: | ||
- | * {{http:// | ||
- | * {{http:// | ||
- | * {{http:// | ||
- | * {{http:// | ||
- | * {{http:// | ||
- | * {{http:// | ||
- | |||
- | |||
- | The editor consists of: | ||
- | |||
- | * Modeling Canvas - drag/drop to create states and transitions, | ||
- | * [[Modeling Tree View|Tree View]] - display states/ | ||
- | * [[Modeling MCase View|MCase View]] - create and edit mCase for scenarios and ad-hoc test cases, accessed through //Model// menu or //sidebar button// . | ||
- | * [[Guard View|Guard View]] - display transition guard conditions and their statuses' | ||
- | * [[Model Context Menu|Model context menus]] | ||
- | * [[State Context Menu|State context menus]] | ||
- | * [[Transition Context Menu|Transition context menus]] | ||
- | * Shortcut key - IDE shortcut keys are supported | ||
- | * Delete key - delete marked states and transitions | ||
- | |||
- | Refer to a [[http:// | ||
- | |||
- | |||
- | ---- | ||
- | ==== Modeling Basics ==== | ||
- | Model consists of states and transitions. It's like a state diagram, very easy to understand. | ||
- | |||
- | === States === | ||
- | State is represented by a block with a //state header// at the top. The //state header// consists of a series of indicator icons and quick access to state mScript. State can be re-sized to hold sub-states. | ||
- | |||
- | === Transitions === | ||
- | Transition is represented by a connector connecting the source state and target state. | ||
- | |||
- | |||
- | === Creating New States === | ||
- | States are created with //Add State// canvas context menu. Transitions are created by right-mouse dragging from a source state to the target state. | ||
- | |||
- | There is a quick way to create a new state and a new transition to connect the existing state to the new state: right-mouse drag from an existing state to the modeling canvas (white space area). | ||
- | |||
- | === Moving States === | ||
- | Move states by drag and drop with left mouse. The transitions connected to the state will move or re-route as necessary as the state moves. | ||
- | |||
- | You can move multiple states at a time by first marking the states. As you move any of the marked state, the rest of the marked states move with it. Drag and drop operation is automatically cancelled when any of the states are moved past the edge of the modeling canvas. | ||
- | |||
- | Single click on the state or transition to mark them and click again to un-mark. Marking a state or transition automatically un-mark all states and transitions. To mark multiple states or transitions, | ||
- | |||
- | Double clicking on the modeling canvas clear existing marks. | ||
- | |||
- | A status message may be displayed on the upper-right corner. It can be canceled by clicking on the message or anywhere on the model. | ||
- | |||
- | //Delete// key will delete all selected states and transitions. | ||
- | |||
- | As you make changes to the model including moving the states and transitions, | ||
- | |||
- | |||
- | The model may include [[submodel | Sub Model]]. |