Harel statechart

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf state machine formalism
gptkbp:alternativeName statecharts
gptkbp:application embedded systems
hardware design
software engineering
modeling reactive systems
gptkbp:basisFor UML state machine diagrams
gptkbp:creator gptkb:David_Harel
gptkbp:feature concurrent states
hierarchical states
broadcast communication
gptkbp:hasNotationFor graphical
https://www.w3.org/2000/01/rdf-schema#label Harel statechart
gptkbp:introducedIn 1987
gptkbp:publishedIn gptkb:Communications_of_the_ACM
gptkbp:relatedTo gptkb:Moore_machine
gptkb:Mealy_machine
finite state machine
gptkbp:usedIn gptkb:UML
gptkbp:bfsParent gptkb:UML_state_machine
gptkbp:bfsLayer 7