Downloads
ROMAS development framework
| Name | Version | Comments |
|---|---|---|
| ROMAS modeling Plugins | 1.0 | These plug-ins allow to model ROMAS designs by using the Eclipse textual and tree editors. |
| RO2P - ROMAS to Promela Plugin | 1.0 | The workflow.properties should be configurated after integrated in the Eclipse framework. |
| Spin Plugin for Eclipse | 1.0.4 | This plug-in is maintained by external providers. |
ROMAS metamodel in ecore format