gamma
gamma copied to clipboard
ftsrg
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
Similarly to the solution of the mission phase statecharts, the core Gamma components should support variable bindings (ties).
Add query to the execution trace file, improve traceability between the queries and executions. Possibly as some kind of comment.
The XSTS mapping could support the AR semantics by using nondeterministic actions instead of sequential actions in the XSTS mapping. Note that this has to be conducted in accordance with...
GCL could support a control specification for the clearing of a certain or all message queues.
https://github.com/ftsrg/refinery uses Gradle successfuly to automate the different xtext-xtend and emf code generation, multiple plugins/projects, etc. Currently, it is a long and hard process for someone to start using the...
Currently, composition and statechart models reside in the same project, thus making it impossible to extend Gamma with more composite components without adding them to the statechart model. I propose,...
When starting the Docker Image it first downloads a lot of maven dependencies, then compiles the project. This is wasteful and unnecessary in the least, and at the worst case...