Regulated Open Multiagent Systems


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 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