Statements (64)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mermaid
UML Diagram |
| gptkbp:category |
Behavioral UML Diagram
|
| gptkbp:creator |
David Harel (Statecharts)
|
| gptkbp:definedIn |
UML 2.x Specification
|
| gptkbp:describes |
State Machines
|
| gptkbp:hasModel |
gptkb:Reactive_Systems
Embedded Systems Protocols Workflow Controllers Business Processes User Interfaces Object Lifecycles State-dependent Behavior |
| https://www.w3.org/2000/01/rdf-schema#label |
State Machine Diagrams
|
| gptkbp:introducedIn |
gptkb:UML_1.x
|
| gptkbp:notation |
Events
States Guards Actions Transitions Final States Choice Pseudostates Composite States Entry Actions Entry Point Pseudostates Exit Actions Exit Point Pseudostates Fork Pseudostates History States Initial Pseudostates Join Pseudostates Junction Pseudostates Substates Terminate Pseudostates |
| gptkbp:partOf |
gptkb:Unified_Modeling_Language
|
| gptkbp:relatedTo |
gptkb:Activity_Diagrams
Class Diagrams Sequence Diagrams |
| gptkbp:shows |
Events
States Actions Transitions Initial State Final State |
| gptkbp:standardizedBy |
gptkb:Object_Management_Group
|
| gptkbp:supports |
Concurrent States
Entry/Exit Actions Event-driven Behavior Guard Conditions Hierarchical States History Mechanisms Orthogonal Regions |
| gptkbp:usedFor |
Modeling Behavior
Modeling Finite State Machines Modeling State Transitions |
| gptkbp:usedIn |
gptkb:Software_Engineering
gptkb:Systems_Engineering |
| gptkbp:visualizes |
gptkb:Statecharts
Finite State Automata |
| gptkbp:bfsParent |
gptkb:UML_Superstructure_Specification
gptkb:OMG_UML_2.5.1_specification |
| gptkbp:bfsLayer |
8
|