Skip to content

ftsrg/stochastic-gamma

Repository files navigation

The Stochastic Gamma Composition Framework

Version 2.2.1

The Stochastic Gamma Composition Framework is a toolset to model, verify and generate code for component-based reactive systems. Stochastic Gamma Composition Framework is the extension of Gamma Statechart Composition Framework. The framework builds on Yakindu, an open source statechart modeling tool and provides an additional modeling layer to instatiate 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, a model checker for timed automata. 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.

Check out http://gamma.inf.mit.bme.hu for more resources about Gamma. A good starting point is our tool paper, slides and demo video presented at ICSE 2018.

To cite Gamma, please cite the following paper.

@inproceedings{DBLP:conf/icse/MolnarGVMV18,
  author    = {Vince Moln{\'{a}}r and
               Bence Graics and
               Andr{\'{a}}s V{\"{o}}r{\"{o}}s and
               Istv{\'{a}}n Majzik and
               D{\'{a}}niel Varr{\'{o}}},
  title     = {The Gamma statechart composition framework: design, verification
               and code generation for component-based reactive systems},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering:
               Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
               June 03, 2018},
  pages     = {113--116},
  year      = {2018},
  doi       = {10.1145/3183440.3183489}
}

Using Gamma

Dependencies

Recommended Eclipse version and bundle:
  • Eclipse IDE 2023-03, Eclipse IDE for Java and DSL Developers bundle.
3rd-party Eclipse components (should be installed separately):
3rd-party tools used by Gamma (should be installed separately):
  • UPPAAL (Uppsala and Aalborg Universities, http://www.uppaal.org/).
  • Python 3 interpreter
  • PyTorch Python library
  • NumPy Python library
  • Pyro-PPL Python library

Installation

  • Have an Eclipse instance (Eclipse IDE for Java and DSL Developers) with EMF and Xtext and Java 1.8, .
  • Install VIATRA 2.2.1 and the Yakindu Statechart Tools 3.5.8.
  • Exit Eclipse and extract the Gamma zip file containing the dropins/plugins folder (with the Gamma JAR files) into the root folder of Eclipse. This will create the plugins directory in the dropins folder of your root Eclipse folder, which should contain all JAR files of Gamma. (If not, make sure you copy all the JAR files contained in the Gamma zip file in the plugins directory of the dropins folder of the root folder of Eclipse.)
  • When starting Eclipse for the first time, you might need to start it with the -clean flag.
  • Check if the plugin installed successfully in Help > About Eclipse and by clicking Installation Details. On the Plug-ins tab, sort the entries by Plugin-in Id and look for entries starting with hu.bme.mit.gamma.
  • For formal verification, download and extract UPPAAL. In order to let Gamma find the UPPAAL executables, add the bin-Win32 or bin-Linux folder to the path environment variable (depending on the operating system being used).

Tutorials

The tutorials for the framework can be found in the following folder.

Contact

Contact us by sending an e-mail to gamma [at] mit.bme.hu.

Acknowledgement

Supporters of the Gamma project:

Special thanks to:

  • András Vörös,
  • Oszkár Semeráth,
  • Kristóf Marussy,
  • Ákos Hajdu,
  • Dániel Varró,
  • István Ráth,
  • Zoltán Micskei,
  • István Majzik,
  • IncQuery Labs Ltd.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published