Vi beskriver semantiken hos statskort som implementeras i Statemate-systemet. Detta var den första körbara semantik definieras för språket och har varit i bruk i nästan ett decennium. När det gäller kontroversen om huruvida förändringar som gjorts i ett visst steg bör träda i kraft i det nuvarande steget eller i nästa, antar denna semantik det senare tillvägagångssättet.
I särklass är statsmatessemantiken i statscharts den mest rigorösa och exakta avrättningssemantiken som definierats för statscharts och den har använts i mer än tio år REF.
The STATEMATE semantics of statecharts
{'venue': 'TSEM', 'journal': None, 'mag_field_of_study': ['Computer Science']}