Xtend based plugin for automatic generation of graphmodels from input SysMLv2 models (currently Structure and Action Diagrams).
There are output formats available for the following tools (and corresponding languages): Refinery, Viatra Solver and Alloy Analyzer. Generation is available from the .sysml files context menu (Generate Graphmodel) in the Runtime Eclipse Application.
Prerequisite: SysMLv2 developer environment, installation instructions avalable at https://github.com/Systems-Modeling/SysML-v2-Pilot-Implementation