ftsrg / gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
http://gamma.inf.mit.bme.hu
30 stars 25 forks source link

Statechart invariant #167

Closed Rorck closed 8 months ago

Rorck commented 9 months ago

Added statechart invariants to the statechart model -> lowlevel model -> XSTS transformation chain. Added test model for statechart invariants. Added visualization of state invariants and statechart invariants.

grbeni commented 8 months ago

Looks very good, merging the PR,