About Gamma
The Gamma Statechart Composition Framework is a modeling framework to model, verify and generate code for component-based reactive systems.
The framework integrates multiple modeling tools (modeling frontends) and provides an additional modeling layer to instantiate a communicating network of statecharts. Compositionality is hierarchical, which facilitates the creation of reusable component libraries. Individual statecharts, as well as composite statechart networks can be validated and verified by an automated translation to UPPAAL, Theta, PROMELA (Spin), SMV (nuXmv), or IML (Imandra). Once a complete model is built, designers can use the code generation functionality of the framework, which can generate Java code for the whole system.
Created by
